Bayesian navigation system with particle filtering and dead reckoning in urban canyon environments | IEEE Conference Publication | IEEE Xplore