Modeling and estimation for Doppler-shifted Gaussian random processes | IEEE Conference Publication | IEEE Xplore