Bayesian Kalman filtering, regularization and compressed sampling | IEEE Conference Publication | IEEE Xplore