Universally quantified interval constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1894, Issue , 2000, Pages 67-82

  Benhamou, Frédéric ^a   Goualard, Frédéric ^a  

^a INSTITUT DE RECHERCHE EN COMMUNICATIONS ET CYBERNÉTIQUE DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CAMERAS; COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING; CONSTRAINT THEORY; MODELING LANGUAGES;

CINEMATIC LANGUAGE; CYLINDRICAL ALGEBRAIC DECOMPOSITIONS; INTERVAL CONSTRAINT; OUTER APPROXIMATION; RATIONAL COEFFICIENTS; REAL CONSTRAINTS; SENSOR PLANNING; THEORETICAL FRAMEWORK;

APPROXIMATION ALGORITHMS;

EID: 84945926937     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45349-0_7     Document Type: Article

References (25)

1. S. Abrams and P. K. Alien. Computing camera viewpoints in an active robot workcell. Technical Report IBM Research Report: RC 20987, IBM Research Division, 1997.
2. B. D. O. Anderson, N. K. Bose, and E. I. Jury. Output feedback stabilization and related problems - solution via decision methods. IEEE Trans. On Automatic Control, AC-20(1), 1975.
3. J. Armengol, L. Travé-Massuyés, J. Veil, and M. Á. Sainz. Modal interval analysis for error-bounded semiqualitative simulation. In 1r Congrés Català d’lntelligència Artificial, pages 223-231, 1998.
4. F. Benhamou. Interval constraint logic programming. In A. Podelski, editor, Constraint programming: basics and trends, volume 910 of LNCS, pages 1-21. Springer-Verlag, 1995.
5. F. Benhamou, F. Goualard, L. Granvilliers, and J.-F. Puget. Revising hull and box consistency. In Proc. Of the 16th Int. Conf. on Logic Programming (ICLP’99), pages 230-244, Las Cruces, USA, 1999. The MIT Press. ISBN 0-262-54104-1.
6. F. Benhamou, F. Goualard, É. Languénou, 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.
7. F. Benhamou, D. McAllester, and P. Van Hentenryck. CLP(Intervals) revisited. In Proc. Of ILPS’94, pages 124-138. MIT Press, November 1994.
8. F. Benhamou and W. J. Older. Applying interval arithmetic to real, integer and boolean constraints. JLP, 32(1): 1-24, 1997.
9. J. G. Deary. Logical arithmetic. Future Generation Computing Systems, 2(2): 125-149, 1987.
10. H. Collavizza, F. Delobel, and M. Rueher. Extending consistent domains of numeric CSP. In Proc. Of the 16th IJCAI, volume 1, pages 406-411, July 1999.
11. G. E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Proc. Of the 2nd GI Conf. Automata Theory and Formal Languages, volume 33 of LNCS, pages 134-183, Kaiserslauten, 1975. Springer.
12. S. M. Drucker. Intelligent Camera Control for Graphical Environments. PhD thesis, MIT Media Lab, 1994.
13. H. Hong. Collision problems by an improved CAD-based quantifier elimination algorithm. Technical Report 91-05, RISC-Linz, 1991.
14. F. Jardillier and E. Langienou. Screen-space constraints for camera movements: the virtual cameraman. In N. Ferreira and M. Gobel, editors, Eurographics’98 proceedings, volume 17, pages 175-186. Blackwell Publishers, 1998.
15. S. M. Markov. On directed interval arithmetic and its applications. JUCS, 1(7): 514-526, 1995.
16. K. Meintjes and A. P. Morgan. Chemical equilibrium systems as numerical test problems. ACM TOMS, 16(2): 143-151, June 1990.
17. R. E. Moore. Interval Analysis. Prentice-Hall, Englewood Clis, N. J., 1966.
18. J.-F. Puget. A C ++ implementation of CLP. In Proc. Of SPICIS’94, 1994.
19. J.-F. Puget and P. Van Hentenryck. A constraint satisfaction approach to a circuit design problem. J. Of Global Optimization, 13: 75-93, 1998.
20. J. Sam. Constraint Consistency Techniques for Continuous Domains. Phd. thesis, É cole polytechnique fédérale de Lausanne, 1995.
21. J. Sam-Haroud and B. V. Fallings. Consistency techniques for continuous constraints. Constraints, 1: 85-118, 1996.
22. S. P. Shary. Algebraic solutions to interval linear equations and their applications. In G. Alefeld and J. Herzberger, editors, Numerical Methods and Error Bounds, Proc. Of the IMACS-GAMM Int. Symposium on Numerical Methods and Error Bounds, pages 224-233. Akademie Verlag, July 1995.
23. S. P. Shary. Interval Gauss-Seidel method for generalized solution sets to interval linear systems. In Proc. Of MISC’99, pages 51-65, February 1999.
24. P. Van Hentenryck, L. Michel, and Y. Deville. Numerica: A Modeling Language for Global Optimization. The MIT Press, 1997.
25. A. C. Ward, T. Lozano-Bsrez, and W. P. Seering. Extending the constraint propagation of intervals. In Proc. Of IJCAI’89, pages 1453-1458, 1989.