A bayesian formulation for sub-pixel refinement in stereo orbital imagery | IEEE Conference Publication | IEEE Xplore