Exploiting Common Subexpressions in Numerical CSPs, Proc. CP, Constraint Programming, pp.342-357, 2008. ,
DOI : 10.1007/978-3-540-85958-1_23
Set-Valued Analysis, 1990. ,
Revising hull and box consistency, Proceedings of the International Conference on Logic Programming, pp.230-244, 1999. ,
Reconstructing 3D Objects from Silhouettes with Unknown Viewpoints: The Case of Planar Orthographic Views, 8th Iberoamerican Congress on Pattern Recognition, pp.26-29, 2003. ,
DOI : 10.1007/978-3-540-24586-5_18
URL : https://hal.archives-ouvertes.fr/hal-00861687
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic, Artificial Intelligence and Symbolic Computation, pp.127-141, 2001. ,
DOI : 10.1007/3-540-44990-6_10
Contractor programming, Artificial Intelligence, vol.173, issue.11, pp.1079-1100, 2009. ,
DOI : 10.1016/j.artint.2009.03.002
URL : https://hal.archives-ouvertes.fr/hal-00428957
Interval Method for Calibration of Parallel Robots : Vision-based Experiments. Mechanism and Machine Theory, pp.41926-944, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00907729
Using interval arithmetic to prove that a set is path-connected. Theoretical Computer Science, Special issue: Real Numbers and Computers, pp.119-128, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00518770
Interval propagation to reason about sets: Definition and implementation of a practical language, Constraints, vol.16, issue.3?4, pp.191-246, 1997. ,
DOI : 10.1007/BF00137870
Inner and Outer Approximations of Existentially Quantified Equality Constraints, Proceedings of the Twelfth International Conference on Principles and Practice of Constraint ProgrammingCP 2006), 2006. ,
DOI : 10.1007/11889205_16
URL : https://hal.archives-ouvertes.fr/hal-00481288
Range-Only SLAM With Occupancy Maps: A Set-Membership Approach, IEEE Transactions on Robotics, vol.27, issue.5, pp.1004-1010, 2011. ,
DOI : 10.1109/TRO.2011.2147110
URL : https://hal.archives-ouvertes.fr/hal-00636000
Interval computations, rigor and non-rigor in deterministic continuous global optimization. Optimization Methods and Software, pp.259-279, 2011. ,
Scientific Computing, Validated Numerics, Interval Methods, Proceedings of SCAN 2000, chapter Guaranteed Set Computation with Subpavings, pp.167-178, 2001. ,
Computational complexity and feasibility of data processing and interval computations, Reliable Computing, vol.10, issue.4, pp.405-409, 1997. ,
DOI : 10.1007/978-1-4757-2793-7
On Sufficient Conditions of the Injectivity: Development of a Numerical Test Algorithm via Interval Analysis, Reliable Computing, vol.26, issue.6, pp.409-421, 2007. ,
DOI : 10.1007/s11155-007-9042-9
URL : https://hal.archives-ouvertes.fr/hal-00859290
Directed Sonar Sensing for Mobile Robot Navigation, 1992. ,
DOI : 10.1007/978-1-4615-3652-9
Complete search in continuous global optimization and constraint satisfaction, Acta Numerica, vol.13, pp.271-369, 2004. ,
DOI : 10.1017/S0962492904000194
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.135-154, 2005. ,
DOI : 10.1016/j.jlap.2004.07.008
URL : https://hal.archives-ouvertes.fr/inria-00071850
Probabilistic robotics, Communications of the ACM, vol.45, issue.3, 2005. ,
DOI : 10.1145/504729.504754
The Lorenz attractor exists Comptes Rendus de l'académie des Sciences, pp.1197-1202, 1999. ,
Algorithmic power from declarative use of redundant constraints, Constraints, vol.4, issue.4, pp.363-381, 1999. ,
DOI : 10.1023/A:1009821007410
Towards more adequate representation of uncertainty: From intervals to set intervals, with the possible addition of probabilities and certainty degrees, Proceedings of the IEEE World Congress on Computational Intelligence WCCI'2008, pp.983-990, 2008. ,