Rigid Transformation Using Interval Analysis for Robot Motion Estimation | AMiner