A simultaneous localization and map building algorithm based on sequential Monte Carlo method | IEEE Conference Publication | IEEE Xplore