Frédéric Benhamou, Frédéric Goualard, et al.  Home/Search
Context Related
| sciences.univnant...ririn005.pdf.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sciences.univnantes.fr/...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, the handling of universally quantified variables is first related to the computation of inner-approximations of real relations. Algorithms for solving non-linear real constraint systems with universally quantified variables are then presented along with the theoretical framework on inner-approximation of relations supporting them. These algorithms are based on the computation of outer-approximations of the solution set of the negation of involved constraints. An application to the... (Update)
Context of citations to this paper: More
...and compared to the one of Jardillier and Languenou. Due to lack of space, the reader is referred to the associated research report [6] for the proofs of the propositions to be stated below. 3.1 Computing inner sets From Def. C above, an inner approximation operator...
Cited by: More
Universally Quantified Interval Constraints - Benhamou, Goualard (2000) (Correct)
Active bibliography (related documents): More All
0.8: An Extension of the WAM for Hybrid Interval Solvers - Goualard, Benhamou (1999) (Correct)
0.5: Virtual Voyage: Interactive Navigation in the Human Colon - Hong, Muraki, Kaufman.. (1997) (Correct)
0.5: Dynamic Sensor Planning - Abrams, Allen, Tarabanis (1993) (Correct)
Similar documents based on text: More All
2.6: An Algebraic Approach to Heterogeneous Software Systems - Andre, Royer (2000) (Correct)
2.4: Web Site Indexation and Ontologies - Desmontils, Jacquin (2000) (Correct)
1.9: On Behavior of Interacting Agents - Dekhtyar, Dikovsky, Valiev (2002) (Correct)
BibTeX entry: (Update)
F. Benhamou, F. Goualard, E. Languenou, and M. Christie. Universally quantified constraint solving: an application to camera control. Research Report 00.5, Institut de Recherche en Informatique de Nantes, March 2000. Available at http:// www.sciences.univ-nantes.fr/irin/Vie/RR/indexGB.html. http://citeseer.ist.psu.edu/article/benhamou00universally.html More
@inproceedings{ benhamou00universally,
author = "Frric Benhamou and Frric Goualard",
title = "Universally Quantified Interval Constraints",
booktitle = "Principles and Practice of Constraint Programming",
pages = "67-82",
year = "2000",
url = "citeseer.ist.psu.edu/article/benhamou00universally.html" }
Citations (may not include all citations):384 Interval Analysis (context) - MOORE
77 Interval analysis for computer graphics - SNYDER
65 implementation of CLP (context) - PUGET
35 The complexity of linear problems in fields (context) - WEISPFENNING
18 Chemical equilibrium systems as numerical test problems (context) - exander, MORGAN
14 Consistency techniques for continuous constraints (context) - et, FALTINGS
12 Interval analysis in the extended interval space IR (context) - KAUCHER
12 On directed interval arithmetic and its applications (context) - MARKOV
11 A constraint satisfaction approach to a circuit design probl.. - et, VAN HENTENRYCK
10 Extending the constraint propagation of intervals (context) - WARD, LOZANO-PREZ et al.
5 Constraint Consistency Techniques for Continuous Domains - SAM
4 Numerica : A Modeling Language for Global Optimization (context) - VAN HENTENRYCK, MICHEL et al.
2 Automated sensor planning and modeling for robotic vision ta.. (context) - TARABANIS
2 Animation rotations with quaternion curves (context) - SHOEMAKE
2 Solving polynomial systems using a branch and prune approach (context) - VAN HENTENRYCK, MCALLESTER et al.
1 Algebraic solutions to interval linear equations and their a.. (context) - SHARY
1 Numerical solving of constraints of multivariate polynomial .. (context) - et, SCHICHO
1 Interval Gauss-Seidel method for generalized solution sets t.. (context) - SHARY
1 Quantifier elimination for trigonometric polynomials by cyli.. - et, SCHICHO
1 On maximal inner estimation of the solution sets of linear s.. (context) - SHARAYA
Documents on the same site (http://www.sciences.univ-nantes.fr/info/perso/permanents/goualard/Research/papers.html): More
Optimisation De La Propagation D'intervalles par des .. - Benhamou, Goualard, .. (1997) (Correct)
An Extension of the WAM for Cooperative Interval Solvers - Goualard, Granvilliers (1998) (Correct)
Programming with the Declic Language - Benhamou, Goualard, Granvilliers (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC