Login / Signup

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021.

R. Baker KearfottJohn D. PryceNathalie Revol
Published in: Numerical Validation in Current Hardware Architectures (2008)
Keyphrases
  • interval arithmetic
  • constraint propagation
  • neural network
  • support vector
  • search algorithm
  • rough sets
  • real numbers
  • provably correct