Interpretability over Peano Arithmetic.

Claes Strannegård

Published in: J. Symb. Log. (1999)

Keyphrases

prediction accuracy
arithmetic operations
search algorithm
floating point
databases
computer vision
decision making
metadata
support vector
special case
interval arithmetic