Exploration with Global Consistency Using Real-Time Re-integration and Active Loop Closure | IEEE Conference Publication | IEEE Xplore