Efficient Real-Time Localization in Prior Indoor Maps Using Semantic SLAM | IEEE Conference Publication | IEEE Xplore