Numerical Abstraction via the Frege Quantifier.

Gian Aldo Antonelli

Published in: Notre Dame J. Formal Log. (2010)

Keyphrases

high level
web services
sensitivity analysis
special case
numerical analysis
interval arithmetic
real time
computer vision
bayesian networks
expert systems
numerical data
finite difference
quantifier elimination
high level abstractions