Rigorous computing in Computer Vision

Michela Farenzena - Dipartimento di Informatica, Università di Verona
Date and time
Tuesday, March 21, 2006 at 5:30 PM - 17.30 caffè, tè & C. ore 17.00
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
External reference
Publication date
March 14, 2006


In this talk I will 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.

© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234