Elsa Carvalho

According to our database, Elsa Carvalho authored at least 9 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Probabilistic constraint reasoning.

Elsa Carvalho

Constraints An Int. J., 2015

2014

Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities.

Alexandre Goldsztejn, Jorge Cruz, Elsa Carvalho

J. Comput. Appl. Math., 2014

Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract).

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Constraints An Int. J., 2013

2010

Probabilistic constraints for reliability problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Reasoning with Uncertainty in Continuous Domains.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Integrated Uncertainty Management and Applications [revised papers from the International Symposium on Integrated Uncertainty Management and Applications, 2010

2008

Probabilistic Constraints for Inverse Problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008

Probabilistic Continuous Constraint Satisfaction Problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

2004

Using Rewarding Mechanisms for Improving Branching Heuristics.

Elsa Carvalho, João Marques-Silva

Proceedings of the SAT 2004, 2004