Kalman smoother based time-varying spectrum estimation of EEG during single agent propofol anesthesia | IEEE Conference Publication | IEEE Xplore