Keyphrases
- interval arithmetic
- constraint propagation
- real numbers
- computational intelligence
- floating point
- provably correct
- constraint satisfaction problems
- finite sets
- constraint programming
- implicit surfaces
- partial derivatives
- real time
- constraint satisfaction
- scale space
- sufficient conditions
- artificial neural networks
- lower bound
- computational complexity