Rigorous Computing in Computer Vision

Abstract

In this paper we discuss how Interval Analysis can be used to solve some problems in Computer Vision, namely autocalibration and triangulation. The crucial property of Interval Analysis is its ability to rigorously bound the range of a function over a given domain. This allows to propagate input errors with guaranteed results (used in multi-views triangulation) and to search for solution in non-linear minimisation problems with provably correct branch-and-bound algorithms (used in autocalibration). Experiments with real calibrated images illustrate the interval approach.