Navigation: theoretical foundations and techniques for travel | IEEE Conference Publication | IEEE Xplore