Recursive Bayesian state estimation from Doppler-shift measurements | IEEE Conference Publication | IEEE Xplore