From Interval Arithmetic to Interval Constraints.
Maarten H. van EmdenPublished in: Reliab. Comput. (2011)
Keyphrases
- interval arithmetic
- constraint propagation
- real numbers
- floating point
- provably correct
- constraint satisfaction problems
- finite sets
- constraint programming
- temporal constraints
- implicit surfaces
- partial derivatives
- constraint satisfaction
- fuzzy numbers
- image sequences
- fixed point
- upper bound
- special case
- video sequences