Triplex: A System for Interval Arithmetic.
A. J. ColeRonald MorrisonPublished in: Softw. Pract. Exp. (1982)
Keyphrases
- interval arithmetic
- constraint propagation
- real numbers
- floating point
- provably correct
- partial derivatives
- finite sets
- constraint satisfaction problems
- temporal constraints
- implicit surfaces
- constraint programming
- ray casting
- constraint satisfaction
- multi view
- neural network
- image restoration
- sufficient conditions
- computational intelligence
- special case
- active learning
- search space