Representation and computation of the spatial environment for indoor navigation | IEEE Conference Publication | IEEE Xplore