Multiple sensor processing for high-precision navigation and environmental modeling with a mobile robot | IEEE Conference Publication | IEEE Xplore