Ground Interpolation for the Theory of Equality.

Alexander Fuchs Amit Goel Jim Grundy Sava Krstic Cesare Tinelli

Published in: TACAS (2009)

Keyphrases

theoretical basis
data sets
artificial intelligence
real time
information retrieval
case study
conceptual framework
interpolation methods
databases
information systems
decision making
search algorithm
data model
image interpolation
general theory