An information-based criterion for efficient robot map building | IEEE Conference Publication | IEEE Xplore