Bayesian time delay estimation for ocean acoustic tomography | IEEE Conference Publication | IEEE Xplore