A Numerical-Symbolic Interface For Proximity Measurement | IEEE Conference Publication | IEEE Xplore