Satellite navigation data mining (SENDAI) | IEEE Conference Publication | IEEE Xplore