Range-resolving shallow water acoustic tomography by ensemble Kalman filtering | IEEE Conference Publication | IEEE Xplore