Geometric Constraint Model and Mobility Graphs for Building Utilization Intelligence | IEEE Conference Publication | IEEE Xplore