High-precision distance measurement using the frequency comb of an ultrashort pulse laser | IEEE Conference Publication | IEEE Xplore