GPS differential positioning technologies for hydrographic surveying | IEEE Conference Publication | IEEE Xplore