Applying domain knowledge to SLAM using virtual measurements | IEEE Conference Publication | IEEE Xplore