Xuan-Ha Vu, Djamila Sam-Haroud, Boi V. Faltings  Home/Search
Context Related
| icwww.epfl.ch/publ..._REPORT_200439.pdf 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: icwww.epfl.ch/publicat...list.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes a novel generic scheme enabling the combination of multiple inclusion representations to propagate numerical constraints. The scheme allows bringing into the constraint propagation framework the strength of inclusion techniques coming from di#erent areas such as interval arithmetic, a#ne arithmetic or mathematical programming. (Update)
Cited by: More
Using Directed Acyclic Graphs to Coordinate Propagation.. - Vu, Schichl, Sam-Haroud (2004) (Correct)
Active bibliography (related documents): More All
0.6: An Introduction to Affine Arithmetic - Stolfi, de Figueiredo (2003) (Correct)
0.5: Unknown - (Correct)
0.5: Clustering for Disconnected Solution Sets of Numerical CSPs - Vu, Sam-Haroud, Faltings (2003) (Correct)
Similar documents based on text: More All
0.3: Constraint Consistency Techniques for Continuous Domains - Sam (1995) (Correct)
0.3: Asynchronous Search with Aggregations - Silaghi, Sam-Haroud, Faltings (2000) (Correct)
0.3: Context in Discrete Constraint Satisfaction Problems - Weigel, Faltings, Choueiry (1996) (Correct)
BibTeX entry: (Update)
Vu, X.H., Sam-Haroud, D., Faltings, B.: A Generic Scheme for Combining Multiple Inclusion Representations in Numerical Constraint Propagation. Technical Report IC/2004/39, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland (2004) http://citeseer.ist.psu.edu/vu04generic.html More
@misc{ vu04generic,
author = "X. Vu and D. Sam-Haroud and B. Faltings",
title = "A Generic Scheme for Combining Multiple Inclusion Representations in Numerical
Constraint Propagation",
text = "Vu, X.H., Sam-Haroud, D., Faltings, B.: A Generic Scheme for Combining
Multiple Inclusion Representations in Numerical Constraint Propagation.
Technical Report IC/2004/39, Swiss Federal Institute of Technology in Lausanne
(EPFL), Switzerland (2004)",
year = "2004",
url = "citeseer.ist.psu.edu/vu04generic.html" }
Citations (may not include all citations):384 Interval Analysis (context) - Moore - 1966
225 Introduction to Interval Computations (context) - Alefeld, Herzberger - 1983
20 Applied Interval Analysis (context) - Jaulin, Kie et al. - 2001
20 Self-Validated Numerical Methods and Applications - Stolfi, de Figueiredo - 1997
19 Revising Hull and Box Consistency - Benhamou, Goualard et al. - 1999
16 Interval Arithmetic and Automatic Error Analysis in Digital .. (context) - Moore - 1962
11 Interval Arithmetic: from Principles to Implementation - Hickey, Ju et al. - 2001
11 Safe Bounds in Linear and Mixed-Integer Programming - Neumaier, Shcherbina - 2004
8 A Global Filtering Algorithm for Handling Systems of Quadrat.. - Lebbah, Rueher et al. - 2003
7 ne Arithmetic and its Applications to Computer Graphics (context) - Comba, Stolfi - 1993
6 Search Techniques for Non-linear CSPs with Inequalities (context) - Silaghi, Sam-Haroud et al. - 2001
6 Interval Computations: Introduction (context) - Kearfott - 1996
6 Interval Analysis on Directed Acyclic Graphs for Global Opti.. - Schichl, Neumaier - 2004
5 Theory of an Interval Algebra and its Applications to Numeri.. (context) - Sunaga - 1958
4 Numerical Constraint Satisfaction Problems with Non-isolated.. - Vu, Sam-Haroud et al. - 2003
3 Functions of Intervals (context) - Burkill - 1924
3 Comparison of Interval Methods for Plotting Algebraic Curves - Martin, Shou et al. - 2002
1 A New Method for Global Solution of Systems of Non-Linear Eq.. (context) - Kolev - 1998
1 An Improved Interval Linearization for Solving Non-Linear Pr.. (context) - Kolev - 2002
1 Global Filtering Algorithms Based on Linear Relaxations - Lebbah, Michel et al. - 2003
1 Automatic Computation of a Linear Interval Enclosure (context) - Kolev - 2001
1 A New Dividing Method in A#ne Arithmetic (context) - Miyajima, Miyata et al. - 2003
Documents on the same site (http://icwww.epfl.ch/publications/list.php): More
Multifaceted Simultaneous Load Balancing in DHT-based.. - Aberer, Datta, Hauswirth (2004) (Correct)
Solving Agreement Problems with Weak Ordering Oracles - Pedone, Schiper, Urban, Cavin (2002) (Correct)
The Systemic Enterprise Architecture Methodology (SEAM) -.. - Wegmann (2003) (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