RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations.

Matthieu Martel

Published in: SYNASC (2011)

Keyphrases

high precision
high accuracy
computational cost
lower bound
precision and recall
recall precision
databases
artificial intelligence
upper bound
e learning
computational complexity
expert systems
relational databases
np hard
classification accuracy
information extraction