The project addresses the problem of uncertainty reasoning with mathematical models involving nonlinear constraints over continuous variables. It extends previous work on a new technology that combines probability reasoning with constraint programming and use it in science and engineering applications. With the participation of experts from physics and electronic engineering, the project focus on ocean color remote sensing and robotics localization.
Ongoing since May 1st 2013, concludes in October 31 2015.
Participating entities: LINA - Laboratoire d\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'Informatique de Nantes Atlantique, Holos SA..
Principal researcher: Alexandre Goldsztejn.
Researchers: Laurent Granvillier, Pedro Sousa.
Funding entity: Fundação Ciência e Tecnologia (MCTES).
Reference: PTDC/EEI-CTP/1403/2012
Funding: 137740.
Principal researcher: Jorge Cruz.
Researchers: Pedro Barahona, Davide D'Alimonte, Marco Correia, Elsa Carvalho.
Project website
