The use of Kalman filtering in combination with an electronic tacheometer | IEEE Conference Publication | IEEE Xplore