Login / Signup
Certification of bounds on expressions involving rounded operators
Marc Daumas
Guillaume Melquiond
Published in:
CoRR (2007)
Keyphrases
</>
upper bound
lower bound
floating point
natural language
facial expressions
error bounds
upper and lower bounds
morphological operators
databases
information retrieval
learning algorithm
data sets
average case
worst case bounds
tight bounds
lower and upper bounds
third party
worst case
evolutionary algorithm