{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:48Z","timestamp":1761620868942,"version":"3.41.0"},"reference-count":59,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2004,10,1]],"date-time":"2004-10-01T00:00:00Z","timestamp":1096588800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2004,10]]},"abstract":"<jats:p>Many problems in robust control and motion planning can be reduced to either finding a sound approximation of the solution space determined by a set of nonlinear inequalities, or to the \"guaranteed tuning problem\" as defined by Jaulin and Walter, which amounts to finding a value for some tuning parameter such that a set of inequalities be verified for all the possible values of some perturbation vector. A classical approach to solving these problems, which satisfies the strong soundness requirement, involves some quantifier elimination procedure such as Collins' Cylindrical Algebraic Decomposition symbolic method. 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. The use of these methods in camera control is investigated, and experiments with the prototype of a declarative modeler to express camera motion using a cinematic language are reported and commented upon.<\/jats:p>","DOI":"10.1145\/1024922.1024927","type":"journal-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:38:56Z","timestamp":1097170736000},"page":"732-767","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Interval constraint solving for camera control and motion planning"],"prefix":"10.1145","volume":"5","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Benhamou","sequence":"first","affiliation":[{"name":"Laboratoire d'Informatique de Nantes-Atlantique FRE CNRS 2729, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Goualard","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de Nantes-Atlantique FRE CNRS 2729, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Langu\u00e9nou,","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de Nantes-Atlantique FRE CNRS 2729, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Christie","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de Nantes-Atlantique FRE CNRS 2729, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,10]]},"reference":[{"volume-title":"Proceedings of the 4th IEEE Mediterranean Symposium on Control and Automation (Malene","author":"Abdallah C.","key":"e_1_2_1_1_1","unstructured":"Abdallah , C. , Dorato , P. , Yang , W. , Liska , R. , and Steinberg , S . 1996. Applications of quantifier elimination theory to control theory . In Proceedings of the 4th IEEE Mediterranean Symposium on Control and Automation (Malene , Crete, Greece). 340--345. Abdallah, C., Dorato, P., Yang, W., Liska, R., and Steinberg, S. 1996. Applications of quantifier elimination theory to control theory. In Proceedings of the 4th IEEE Mediterranean Symposium on Control and Automation (Malene, Crete, Greece). 340--345."},{"volume-title":"RC 20987","author":"Abrams S.","key":"e_1_2_1_2_1","unstructured":"Abrams , S. and Allen , P. K . 1997. Computing camera viewpoints in an active robot work-cell. IBM Res. rep . RC 20987 . IBM Research Division, Yorktown Heights, NY. Abrams, S. and Allen, P. K. 1997. Computing camera viewpoints in an active robot work-cell. IBM Res. rep. RC 20987. IBM Research Division, Yorktown Heights, NY."},{"key":"e_1_2_1_3_1","unstructured":"Alefeld G. and Herzberger J. 1983. Introduction to Interval Computations. Academic Press Inc. New York NY.  Alefeld G. and Herzberger J. 1983. Introduction to Interval Computations. Academic Press Inc. New York NY."},{"volume-title":"Grammar of the Film Language","author":"Arijon D.","key":"e_1_2_1_4_1","unstructured":"Arijon , D. 1976. Grammar of the Film Language . Hastings House Publishers , New York, NY . Arijon, D. 1976. Grammar of the Film Language. Hastings House Publishers, New York, NY."},{"key":"e_1_2_1_5_1","unstructured":"Armengol J. Trav\u00e9-Massuy\u00e8s L. Veh\u00ed J. and S\u00e1inz M. A. 1998. Modal interval analysis for error-bounded semiqualitative simulation. In 1r Congr\u00e9s Catal\u00e0 d'Intellig\u00e8ncia Artificial. 223--231.  Armengol J. Trav\u00e9-Massuy\u00e8s L. Veh\u00ed J. and S\u00e1inz M. A. 1998. Modal interval analysis for error-bounded semiqualitative simulation. In 1r Congr\u00e9s Catal\u00e0 d'Intellig\u00e8ncia Artificial. 223--231."},{"key":"e_1_2_1_6_1","volume-title":"Constraint Programming: Basics and Trends: 1994 Ch\u00e2tillon Spring School, Ch\u00e2tillon-sur-Seine, France, May 16--20","author":"Benhamou F.","year":"1994","unstructured":"Benhamou , F. 1995. Interval constraint logic programming . In Constraint Programming: Basics and Trends: 1994 Ch\u00e2tillon Spring School, Ch\u00e2tillon-sur-Seine, France, May 16--20 , 1994 , A. Podelski, Ed . Lecture Notes in Computer Science, vol. 910 . Springer-Verlag , Berlin, Germany, 1--21. Benhamou, F. 1995. Interval constraint logic programming. In Constraint Programming: Basics and Trends: 1994 Ch\u00e2tillon Spring School, Ch\u00e2tillon-sur-Seine, France, May 16--20, 1994, A. Podelski, Ed. Lecture Notes in Computer Science, vol. 910. Springer-Verlag, Berlin, Germany, 1--21."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the 5th International Conference on Algebraic and Logic Programming (ALP'96)","volume":"1139","author":"Benhamou F.","year":"1996","unstructured":"Benhamou , F. 1996 . Heterogeneous constraint solving . In Proceedings of the 5th International Conference on Algebraic and Logic Programming (ALP'96) . Lecture Notes in Computer Science , vol. 1139 . Springer-Verlag, Aachen, Germany, 62--76. Benhamou, F. 1996. Heterogeneous constraint solving. In Proceedings of the 5th International Conference on Algebraic and Logic Programming (ALP'96). Lecture Notes in Computer Science, vol. 1139. Springer-Verlag, Aachen, Germany, 62--76."},{"volume-title":"Proceedings of the 16th International Conference on Logic Programming (ICLP'99)","author":"Benhamou F.","key":"e_1_2_1_8_1","unstructured":"Benhamou , F. , Goualard , F. , Granvilliers , L. , and Puget , J . -F. 1999. Revising hull and box consistency . In Proceedings of the 16th International Conference on Logic Programming (ICLP'99) . MIT Press, Cambridge, MA. 230--244. Benhamou, F., Goualard, F., Granvilliers, L., and Puget, J.-F. 1999. Revising hull and box consistency. In Proceedings of the 16th International Conference on Logic Programming (ICLP'99). MIT Press, Cambridge, MA. 230--244."},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the International Symposium on Logic Programming (ILPS'94)","author":"Benhamou F.","year":"1994","unstructured":"Benhamou , F. , McAllester , D. , and Van Hentenryck , P. 1994 . CLP(Intervals) revisited . In Proceedings of the International Symposium on Logic Programming (ILPS'94) . MIT Press, Cambridge, MA, 124--138. Benhamou, F., McAllester, D., and Van Hentenryck, P. 1994. CLP(Intervals) revisited. In Proceedings of the International Symposium on Logic Programming (ILPS'94). MIT Press, Cambridge, MA, 124--138."},{"key":"e_1_2_1_10_1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","article-title":"Applying interval arithmetic to real, integer and Boolean constraints","volume":"32","author":"Benhamou F.","year":"1997","unstructured":"Benhamou , F. and Older , W. J. 1997 . Applying interval arithmetic to real, integer and Boolean constraints . J. Logic Programm. 32 , 1, 1 -- 24 . Benhamou, F. and Older, W. J. 1997. Applying interval arithmetic to real, integer and Boolean constraints. J. Logic Programm. 32, 1, 1--24.","journal-title":"J. Logic Programm."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/38.7751"},{"key":"e_1_2_1_12_1","volume-title":"Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP'2002)","volume":"2470","author":"Christie M.","unstructured":"Christie , M. , Langu\u00e9nou , E. , and Granvilliers , L . 2002. Modeling camera control with constrained hypertubes . In Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP'2002) , P. V. Hentenryck, Ed. Lecture Notes in Computer Science , vol. 2470 . Springer-Verlag, Berlin, Germany, 618--632. Christie, M., Langu\u00e9nou, E., and Granvilliers, L. 2002. Modeling camera control with constrained hypertubes. In Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP'2002), P. V. Hentenryck, Ed. Lecture Notes in Computer Science, vol. 2470. Springer-Verlag, Berlin, Germany, 618--632."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 16th IJCAI.","volume":"1","author":"Collavizza H.","unstructured":"Collavizza , H. , Delobel , F. , and Rueher , M . 1999. Extending consistent domains of numeric CSP . In Proceedings of the 16th IJCAI. ( Stockholm, Sweden). Vol. 1 . 406--411. Collavizza, H., Delobel, F., and Rueher, M. 1999. Extending consistent domains of numeric CSP. In Proceedings of the 16th IJCAI. (Stockholm, Sweden). Vol. 1. 406--411."},{"key":"e_1_2_1_14_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages","author":"Collins G. E.","unstructured":"Collins , G. E. 1975. Quantifier elimination for real closed fields by cylindrical algebraic decomposition . In Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages . Lecture Notes in Computer Science , vol. 33 . Springer , Kaiserslauten, Germany , 134--183. Collins, G. E. 1975. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages. Lecture Notes in Computer Science, vol. 33. Springer, Kaiserslauten, Germany, 134--183."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/38.126883"},{"volume-title":"School of Architecture and Planning, MIT","author":"Drucker S. M.","key":"e_1_2_1_16_1","unstructured":"Drucker , S. M. 1994. Intelligent camera control for graphical environments. Ph.D. dessertation. Program in Media Arts and Sciences , School of Architecture and Planning, MIT , Cambridge , MA. Drucker, S. M. 1994. Intelligent camera control for graphical environments. Ph.D. dessertation. Program in Media Arts and Sciences, School of Architecture and Planning, MIT, Cambridge, MA."},{"volume-title":"Proceedings of the 1992 Symposium on Interactive 3D Graphics, M. Levoy and E. E. Catmull, Eds. ACM Press","author":"Drucker S. M.","key":"e_1_2_1_17_1","unstructured":"Drucker , S. M. , Galyean , T. A. , and Zeltzer , D . 1992. CINEMA: A system for procedural camera movements . In Proceedings of the 1992 Symposium on Interactive 3D Graphics, M. Levoy and E. E. Catmull, Eds. ACM Press , New York, NY, 67--70. 10.1145\/147156.147166 Drucker, S. M., Galyean, T. A., and Zeltzer, D. 1992. CINEMA: A system for procedural camera movements. In Proceedings of the 1992 Symposium on Interactive 3D Graphics, M. Levoy and E. E. Catmull, Eds. ACM Press, New York, NY, 67--70. 10.1145\/147156.147166"},{"volume-title":"Proceedings of Graphics Interface '94","author":"Drucker S. M.","key":"e_1_2_1_18_1","unstructured":"Drucker , S. M. and Zeltzer , D . 1994. Intelligent camera control in a virtual environment . In Proceedings of Graphics Interface '94 . Canadian Information Processing Society, Banff, Alta., Canada, 190--199. Drucker, S. M. and Zeltzer, D. 1994. Intelligent camera control in a virtual environment. In Proceedings of Graphics Interface '94. Canadian Information Processing Society, Banff, Alta., Canada, 190--199."},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","first-page":"1761","DOI":"10.1109\/JRPROC.1954.274797","article-title":"Large-scale behaviour of junction transistors","volume":"42","author":"Ebers J. J.","year":"1954","unstructured":"Ebers , J. J. and Moll , J. L. 1954 . Large-scale behaviour of junction transistors . IRE Procs. 42 , 1761 -- 1772 . Ebers, J. J. and Moll, J. L. 1954. Large-scale behaviour of junction transistors. IRE Procs. 42, 1761--1772.","journal-title":"IRE Procs."},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Emiris I. Z. and Mourrain B. 1999. Computer algebra methods for studying and computing molecular conformations. Algorithmica 25 2\/3 372--402.  Emiris I. Z. and Mourrain B. 1999. Computer algebra methods for studying and computing molecular conformations. Algorithmica 25 2\/3 372--402.","DOI":"10.1007\/PL00008283"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-8396(87)90012-4"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/BF02281722","article-title":"Fundamentals of SIGLA, an interval computing system over the completed set of intervals","volume":"24","author":"Garde\u0144es E.","year":"1980","unstructured":"Garde\u0144es , E. and Trepat , A. 1980 . Fundamentals of SIGLA, an interval computing system over the completed set of intervals . Comput. 24 , 2 -- 3 , 161--179. Garde\u0144es, E. and Trepat, A. 1980. Fundamentals of SIGLA, an interval computing system over the completed set of intervals. Comput. 24, 2--3, 161--179.","journal-title":"Comput."},{"key":"e_1_2_1_23_1","volume-title":"Interval Mathematics. Lecture Notes in Computer Science","volume":"212","author":"Garde\u00f1es E. H.","unstructured":"Garde\u00f1es , E. H. and Mielgo , H . 1986. Modal intervals: Reasons and ground semantics . In Interval Mathematics. Lecture Notes in Computer Science , vol. 212 . Springer-Verlag, Berlin, Germany. Garde\u00f1es, E. H. and Mielgo, H. 1986. Modal intervals: Reasons and ground semantics. In Interval Mathematics. Lecture Notes in Computer Science, vol. 212. Springer-Verlag, Berlin, Germany."},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Garloff J. and Graf B. 1999. Solving strict polynomial inequalities by Bernstein expansion. In The Use of Symbolic Methods in Control System Analysis and Design N. Munro Ed. The Institution of Electrical Engineers London England 339--352.  Garloff J. and Graf B. 1999. Solving strict polynomial inequalities by Bernstein expansion. In The Use of Symbolic Methods in Control System Analysis and Design N. Munro Ed. The Institution of Electrical Engineers London England 339--352.","DOI":"10.1049\/PBCE056E_ch14"},{"volume-title":"Comput. Graph. (SIGGRAPH '92 Proceedings, E. E. Catmull, Ed.). 26","author":"Gleicher M.","key":"e_1_2_1_25_1","unstructured":"Gleicher , M. and Witkin , A . 1992. Through-the-lens camera control . In Comput. Graph. (SIGGRAPH '92 Proceedings, E. E. Catmull, Ed.). 26 , 2, 331--340. 10.1145\/142920.134088 Gleicher, M. and Witkin, A. 1992. Through-the-lens camera control. In Comput. Graph. (SIGGRAPH '92 Proceedings, E. E. Catmull, Ed.). 26, 2, 331--340. 10.1145\/142920.134088"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011266226870"},{"volume-title":"Global Optimization Using Interval Analysis. Pure and Applied Mathematics","author":"Hansen E. R.","key":"e_1_2_1_27_1","unstructured":"Hansen , E. R. 1992. Global Optimization Using Interval Analysis. Pure and Applied Mathematics . Marcel Dekker Inc, New York , NY. Hansen, E. R. 1992. Global Optimization Using Interval Analysis. Pure and Applied Mathematics. Marcel Dekker Inc, New York, NY."},{"key":"e_1_2_1_28_1","volume-title":"Lecture Notes in Computer Science","volume":"874","author":"Haroud D.","unstructured":"Haroud , D. and Faltings , B . 1994. Global consistency for continuous constraints . Lecture Notes in Computer Science , vol. 874 . Springer-Verlag, Berlin, Germany, 40--50. Haroud, D. and Faltings, B. 1994. Global consistency for continuous constraints. Lecture Notes in Computer Science, vol. 874. Springer-Verlag, Berlin, Germany, 40--50."},{"key":"e_1_2_1_29_1","first-page":"91","article-title":"Speeding-up quantifier elimination by Gr\u00f6bner bases","author":"Hong H.","year":"1991","unstructured":"Hong , H. and Buchberger , B. 1991 . Speeding-up quantifier elimination by Gr\u00f6bner bases . Tech. Rep. 91 - 06 . RISC-Linz, Johannes Kepler University, Linz, Austria. Hong, H. and Buchberger, B. 1991. Speeding-up quantifier elimination by Gr\u00f6bner bases. Tech. Rep. 91-06. RISC-Linz, Johannes Kepler University, Linz, Austria.","journal-title":"Tech. Rep."},{"volume-title":"IEEE standard for binary floating-point arithmetic. Tech. rep","year":"1985","key":"e_1_2_1_30_1","unstructured":"IEEE. 1985. IEEE standard for binary floating-point arithmetic. Tech. rep . IEEE Std 754- 1985 . Institute of Electrical and Electronics Engineers , Piscataway, NJ. Reaffirmed 1990. IEEE. 1985. IEEE standard for binary floating-point arithmetic. Tech. rep. IEEE Std 754-1985. Institute of Electrical and Electronics Engineers, Piscataway, NJ. Reaffirmed 1990."},{"volume-title":"Eurographics'98 proceedings","author":"Jardillier F.","key":"e_1_2_1_31_1","unstructured":"Jardillier , F. and Langu\u00e9nou , \u00e9. 1998. Screen-space constraints for camera movements: the virtual cameraman . In Eurographics'98 proceedings , N. Ferreira and M. G\u00f6bel, Eds. Vol. 17. Blackwell Publishers , Oxford, UK , 175--186. Jardillier, F. and Langu\u00e9nou, \u00e9. 1998. Screen-space constraints for camera movements: the virtual cameraman. In Eurographics'98 proceedings, N. Ferreira and M. G\u00f6bel, Eds. Vol. 17. Blackwell Publishers, Oxford, UK, 175--186."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(93)90106-4"},{"key":"e_1_2_1_33_1","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1016\/0005-1098(96)00050-7","article-title":"Guaranteed tuning with application to robust control and motion planning","volume":"32","author":"Jaulin L.","year":"1996","unstructured":"Jaulin , L. and Walter , E. 1996 . Guaranteed tuning with application to robust control and motion planning . Automatica 32 , 8, 1217 -- 1221 . Jaulin, L. and Walter, E. 1996. Guaranteed tuning with application to robust control and motion planning. Automatica 32, 8, 1217--1221.","journal-title":"Automatica"},{"key":"e_1_2_1_35_1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-7091-8577-3_3","article-title":"Interval analysis in the extended interval space IR","volume":"2","author":"Kaucher E. W.","year":"1980","unstructured":"Kaucher , E. W. 1980 . Interval analysis in the extended interval space IR . Comput. (Supplementum) 2 , 33 -- 49 . Kaucher, E. W. 1980. Interval analysis in the extended interval space IR. Comput. (Supplementum) 2, 33--49.","journal-title":"Comput. (Supplementum)"},{"key":"e_1_2_1_36_1","unstructured":"Kutsia T. and Schicho J. 1999. Numerical solving of constraints of multivariate polynomial strict inequalities. Tech. rep. 99-31. RISC Institute Johannes Kepler University Linz Austria.  Kutsia T. and Schicho J. 1999. Numerical solving of constraints of multivariate polynomial strict inequalities. Tech. rep. 99-31. RISC Institute Johannes Kepler University Linz Austria."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.736435"},{"key":"e_1_2_1_38_1","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","article-title":"Consistency in networks of relations","volume":"1","author":"Mackworth A. K.","year":"1977","unstructured":"Mackworth , A. K. 1977 . Consistency in networks of relations . Art. Intell. 1 , 8, 99 -- 118 . Mackworth, A. K. 1977. Consistency in networks of relations. Art. Intell. 1, 8, 99--118.","journal-title":"Art. Intell."},{"key":"e_1_2_1_39_1","first-page":"514","article-title":"On directed interval arithmetic and its applications","volume":"1","author":"Markov S.","year":"1995","unstructured":"Markov , S. 1995 . On directed interval arithmetic and its applications . J. Univers. Comput. Sci. 1 , 7, 514 -- 526 . Markov, S. 1995. On directed interval arithmetic and its applications. J. Univers. Comput. Sci. 1, 7, 514--526.","journal-title":"J. Univers. Comput. Sci."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/78928.78930"},{"volume-title":"Interval Analysis","author":"Moore R. E.","key":"e_1_2_1_41_1","unstructured":"Moore , R. E. 1966. Interval Analysis . Prentice-Hall , Englewood Cliffs, NJ . Moore, R. E. 1966. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ."},{"volume-title":"Interval Methods for Systems of Equations. Encyclopedia of Mathematics and its Applications","author":"Neumaier A.","key":"e_1_2_1_42_1","unstructured":"Neumaier , A. 1990. Interval Methods for Systems of Equations. Encyclopedia of Mathematics and its Applications , vol. 37 . Cambridge Unversity Press , Cambridge, U.K. Neumaier, A. 1990. Interval Methods for Systems of Equations. Encyclopedia of Mathematics and its Applications, vol. 37. Cambridge Unversity Press, Cambridge, U.K."},{"volume-title":"Proceedings of IEEE Canadian Conference on Electrical and Computer Engineering. IEEE Computer Society Press","author":"Older W. J.","key":"e_1_2_1_43_1","unstructured":"Older , W. J. and Vellino , A . 1990. Extending Prolog with constraint arithmetic on real intervals . In Proceedings of IEEE Canadian Conference on Electrical and Computer Engineering. IEEE Computer Society Press , New York, NY. Older, W. J. and Vellino, A. 1990. Extending Prolog with constraint arithmetic on real intervals. In Proceedings of IEEE Canadian Conference on Electrical and Computer Engineering. IEEE Computer Society Press, New York, NY."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0352"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the Singapore Conference on Intelligent Systems (SPICIS'94","author":"Puget J.-F.","year":"1994","unstructured":"Puget , J.-F. 1994 . A C++ implementation of CLP . In Proceedings of the Singapore Conference on Intelligent Systems (SPICIS'94 , Singapore). Puget, J.-F. 1994. A C++ implementation of CLP. In Proceedings of the Singapore Conference on Intelligent Systems (SPICIS'94, Singapore)."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008236911603"},{"key":"e_1_2_1_47_1","first-page":"176","article-title":"On the accumulation of errors in processes of integration on high-speed calculating machines","volume":"16","author":"Rademacher H. A.","year":"1948","unstructured":"Rademacher , H. A. 1948 . On the accumulation of errors in processes of integration on high-speed calculating machines . Annals Comput. Laor. Harvard Univ. 16 , 176 -- 185 . Cited in Stoer and Bulirsch {1993}. Rademacher, H. A. 1948. On the accumulation of errors in processes of integration on high-speed calculating machines. Annals Comput. Laor. Harvard Univ. 16, 176--185. Cited in Stoer and Bulirsch {1993}.","journal-title":"Annals Comput. Laor. Harvard Univ."},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the IMACS-GAMM International Symposium on Numerical Methods and Error Bounds, G. Alefeld and J. Herzberger, Eds. Akademie Verlag","author":"Shary S. P.","year":"1995","unstructured":"Shary , S. P. 1995 . Algebraic solutions to interval linear equations and their applications. In Numerical Methods and Error Bounds , Proceedings of the IMACS-GAMM International Symposium on Numerical Methods and Error Bounds, G. Alefeld and J. Herzberger, Eds. Akademie Verlag , Oldenburg, Germany, 224--233. Shary, S. P. 1995. Algebraic solutions to interval linear equations and their applications. In Numerical Methods and Error Bounds, Proceedings of the IMACS-GAMM International Symposium on Numerical Methods and Error Bounds, G. Alefeld and J. Herzberger, Eds. Akademie Verlag, Oldenburg, Germany, 224--233."},{"key":"e_1_2_1_50_1","volume-title":"MISC'99---Workshop on Applications of Interval Analysis to Systems and Control","author":"Shary S. P.","year":"1999","unstructured":"Shary , S. P. 1999 . Interval Gauss-Seidel method for generalized solution sets to interval linear systems . In MISC'99---Workshop on Applications of Interval Analysis to Systems and Control ( Girona, Spain). 51--65. Shary, S. P. 1999. Interval Gauss-Seidel method for generalized solution sets to interval linear systems. In MISC'99---Workshop on Applications of Interval Analysis to Systems and Control (Girona, Spain). 51--65."},{"key":"e_1_2_1_51_1","volume-title":"Comput. Graph. Proceedings of SIGGRAPH'83","author":"Shoemake K.","year":"1985","unstructured":"Shoemake , K. 1985 . Animation rotations with quaternion curves . Comput. Graph. Proceedings of SIGGRAPH'83 , San Francisco, CA). 19, 3, 245--254. 10.1145\/325334.325242 Shoemake, K. 1985. Animation rotations with quaternion curves. Comput. Graph. Proceedings of SIGGRAPH'83, San Francisco, CA). 19, 3, 245--254. 10.1145\/325334.325242"},{"key":"e_1_2_1_52_1","volume-title":"Computer Graphics (SIGGRAPH '92 Proceedings, E. E. Catmull, Ed.). 26","author":"Snyder J. M.","year":"1992","unstructured":"Snyder , J. M. 1992 . Interval analysis for computer graphics . In Computer Graphics (SIGGRAPH '92 Proceedings, E. E. Catmull, Ed.). 26 , 2, 121--130. 10.1145\/133994.134024 Snyder, J. M. 1992. Interval analysis for computer graphics. In Computer Graphics (SIGGRAPH '92 Proceedings, E. E. Catmull, Ed.). 26, 2, 121--130. 10.1145\/133994.134024"},{"key":"e_1_2_1_53_1","volume-title":"Texts in Applied Mathematics","volume":"12","author":"Stoer J.","unstructured":"Stoer , J. and Bulirsch , R . 1993. Introduction to Numerical Analysis, 2nd ed . in Texts in Applied Mathematics , vol. 12 . Springer, Heidelberg, Germany. Stoer, J. and Bulirsch, R. 1993. Introduction to Numerical Analysis, 2nd ed. in Texts in Applied Mathematics, vol. 12. Springer, Heidelberg, Germany."},{"volume-title":"Theory of an interval algebra and its application to numerical analysis","author":"Sunaga T.","key":"e_1_2_1_54_1","unstructured":"Sunaga , T. 1958. Theory of an interval algebra and its application to numerical analysis . In Research Association of Applied Geometry Memoirs of the Unifying Study of Basic Problems in Engineering and Physical Sciences by Means of Geometry, K. Kondo, Ed. Vol. 2. Gakujutsu Bunken Fukyu-Kai, Japan, Chapter Miscellaneous Subjects II, 547--564. Sunaga, T. 1958. Theory of an interval algebra and its application to numerical analysis. In Research Association of Applied Geometry Memoirs of the Unifying Study of Basic Problems in Engineering and Physical Sciences by Means of Geometry, K. Kondo, Ed. Vol. 2. Gakujutsu Bunken Fukyu-Kai, Japan, Chapter Miscellaneous Subjects II, 547--564."},{"volume-title":"Automated sensor planning and modeling for robotic vision tasks. Tech. rep. CUCS-045-90","author":"Tarabanis K.","key":"e_1_2_1_55_1","unstructured":"Tarabanis , K. 1990. Automated sensor planning and modeling for robotic vision tasks. Tech. rep. CUCS-045-90 . Columbia University , New York, NY . Tarabanis, K. 1990. Automated sensor planning and modeling for robotic vision tasks. Tech. rep. CUCS-045-90. Columbia University, New York, NY."},{"key":"e_1_2_1_56_1","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1093\/qjmam\/1.1.287","article-title":"Rounding-off errors in matrix processes","volume":"1","author":"Turing A. M.","year":"1948","unstructured":"Turing , A. M. 1948 . Rounding-off errors in matrix processes . Quart. J. Mech. 1 , 287 -- 308 . Cited in Wilkinson {1963}. Turing, A. M. 1948. Rounding-off errors in matrix processes. Quart. J. Mech. 1, 287--308. Cited in Wilkinson {1963}.","journal-title":"Quart. J. Mech."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142995281504"},{"key":"e_1_2_1_58_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5073.001.0001","volume-title":"Numerica: A Modeling Language for Global Optimization","author":"Van Hentenryck P.","year":"1997","unstructured":"Van Hentenryck , P. , Michel , L. , and Deville , Y . 1997 b. Numerica: A Modeling Language for Global Optimization . MIT Press , Cambridge, MA . Van Hentenryck, P., Michel, L., and Deville, Y. 1997b. Numerica: A Modeling Language for Global Optimization. MIT Press, Cambridge, MA."},{"volume-title":"The Psychology of Computer Vision","author":"Waltz D. L.","key":"e_1_2_1_59_1","unstructured":"Waltz , D. L. 1975. Understanding line drawings of scenes with shadows . In The Psychology of Computer Vision , P. H. Winston, B. Horn, M. Minsky, and Y. Shirai, Eds. McGraw-Hill , New York, NY , Chap. 2, 19--91. Waltz, D. L. 1975. Understanding line drawings of scenes with shadows. In The Psychology of Computer Vision, P. H. Winston, B. Horn, M. Minsky, and Y. Shirai, Eds. McGraw-Hill, New York, NY, Chap. 2, 19--91."},{"volume-title":"Proceedings of IJCAI'89","author":"Ward A. C.","key":"e_1_2_1_60_1","unstructured":"Ward , A. C. , Lozano-P\u00e9rez , T. , and Seering , W. P . 1989. Extending the constraint propagation of intervals . In Proceedings of IJCAI'89 . 1453--1458. Ward, A. C., Lozano-P\u00e9rez, T., and Seering, W. P. 1989. Extending the constraint propagation of intervals. In Proceedings of IJCAI'89. 1453--1458."},{"key":"e_1_2_1_61_1","volume-title":"Rounding Errors in Algebraic Processes","author":"Wilkinson J. H.","year":"1994","unstructured":"Wilkinson , J. H. 1963. Rounding Errors in Algebraic Processes . Prentice-Hall, New Jersey . Reprinted as Dover Publications ( 1994 ). Wilkinson, J. H. 1963. Rounding Errors in Algebraic Processes. Prentice-Hall, New Jersey. Reprinted as Dover Publications (1994)."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1024922.1024927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1024922.1024927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:48:46Z","timestamp":1750286926000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1024922.1024927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":59,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,10]]}},"alternative-id":["10.1145\/1024922.1024927"],"URL":"https:\/\/doi.org\/10.1145\/1024922.1024927","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2004,10]]},"assertion":[{"value":"2004-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}