Canonical extensions as common basis for interval constraints and interval arithmetic.
Maarten H. van EmdenPublished in: JFPLC (1997)
Keyphrases
- interval arithmetic
- constraint propagation
- real numbers
- floating point
- partial derivatives
- provably correct
- constraint programming
- constraint satisfaction
- constraint satisfaction problems
- temporal constraints
- implicit surfaces
- computational complexity
- geometric constraints
- ray casting
- finite sets
- image segmentation
- search algorithm
- multiscale