F
Frédéric Goualard
Researcher at Centre national de la recherche scientifique
Publications - 15
Citations - 673
Frédéric Goualard is an academic researcher from Centre national de la recherche scientifique. The author has contributed to research in topics: Local consistency & Interval (mathematics). The author has an hindex of 10, co-authored 14 publications receiving 662 citations. Previous affiliations of Frédéric Goualard include University of Nantes.
Papers
More filters
Proceedings Article
Revising hull and box consistency
TL;DR: HC4, an algorithm to enforce hull consistency without decomposing complex constraints into primitives is presented, and BC4, a new algorithm to efficiently enforce box consistency is described, which is shown to significantly outperform both HC3 and BC3.
Book ChapterDOI
Universally Quantified Interval Constraints
TL;DR: In this article, the inner-approximation of real relations with universally quantified variables is studied and algorithms for solving non-linear real constraint systems with quantifier-free equivalent forms by means of Cylindrical Algebraic Decomposition (CAD) are presented along with the theoretical framework on inner approximation of relations supporting them.
Journal ArticleDOI
Interval constraint solving for camera control and motion planning
TL;DR: In this article, sound numerical methods using interval arithmetic and local consistency enforcement to prune the search space are presented as much faster alternatives for both soundly solving systems of nonlinear inequalities, and addressing the guaranteed tuning problem whenever the perturbation vector has dimension 1.
Posted Content
Interval Constraint Solving for Camera Control and Motion Planning
TL;DR: Sound numerical methods using interval arithmetic and local consistency enforcement to prune the search space are presented in this article as much faster alternatives for both soundly solving systems of nonlinear inequalities, and addressing the guaranteed tuning problem whenever the perturbation vector has dimension 1.
Journal ArticleDOI
How do you compute the midpoint of an interval
TL;DR: This article reviews several implementations from prominent C/C++ interval arithmetic packages and analyzes their potential failure to deliver the expected results, and shows how to amend them to avoid common pitfalls.