Acoustic Travel-Time Estimation by Fast Correlation Combined with Up-Sampling | IEEE Conference Publication | IEEE Xplore