A Sufficient Condition for Non-Overestimation in Interval Arithmetic.
V. StahlPublished in: Computing (1997)
Keyphrases
- sufficient conditions
- interval arithmetic
- constraint propagation
- floating point
- real numbers
- fixed point
- partial derivatives
- provably correct
- exponential stability
- constraint satisfaction problems
- implicit surfaces
- linear complementarity problem
- lyapunov function
- constraint programming
- finite sets
- ray casting
- dynamic programming
- real time
- temporal constraints
- constraint satisfaction
- linear programming
- lower bound
- machine learning