Correction of dead-reckoning errors in map building for mobile robots | IEEE Journals & Magazine | IEEE Xplore