The SPmap: a probabilistic framework for simultaneous localization and map building | IEEE Journals & Magazine | IEEE Xplore