A theory of indirection via approximation.

Aquinas Hobor Robert Dockins Andrew W. Appel

Published in: POPL (2010)

Keyphrases

theoretical basis
conceptual framework
formal theory
data sets
databases
machine learning
computational model
theoretical framework
theoretical foundation
information retrieval
database systems
computational models
approximation algorithms
general theory
approximation error
approximation spaces