An efficient indoor positioning particle filter using a floor-plan based proposal distribution | IEEE Conference Publication | IEEE Xplore