Affine Arithmetic and Applications to Real-Number Proving.

Mariano M. Moscato César A. Muñoz Andrew P. Smith

Published in: ITP (2015)

Keyphrases

small number
fixed number
database
databases
neural network
machine learning
information retrieval
information systems
reinforcement learning
wide range
expert systems
real life
special case
finite number