Pedestrian inertial navigation with building floor plans for indoor environments via non-recursive Bayesian filtering | IEEE Conference Publication | IEEE Xplore