Importance sampling Kalman filter for urban canyon navigation | IEEE Conference Publication | IEEE Xplore