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. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Universally Quantified Interval Constraints - Benhamou, Goualard (2000) (16 citations) Self-citation (Benhamou Goualard) (Correct)
....A new approach based on the use of the complete but unsound operators presented in Section 2.2 for the negation of the involved constraints is then described, 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 may be defined as follows: Definition 3 (Inner approximation operator) Given an n ary relation #, an inner approximation operator Inner : R is defined ....
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.
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