A Logical Mix of Approximation and Separation.

Aquinas Hobor Robert Dockins Andrew W. Appel

Published in: APLAS (2010)

Keyphrases

closed form
databases
approximation algorithms
computer vision
efficient computation
logical properties
information retrieval
approximation methods
case study
error bounds
approximation error
approximation schemes
error tolerance
exact computation