Integer ambiguity resolution in GPS using particle filtering | IEEE Conference Publication | IEEE Xplore