Ground interpolation for the theory of equality

Alexander Fuchs Amit Goel Jim Grundy Sava Krstic Cesare Tinelli

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

theoretical framework
databases
theoretical basis
feature selection
computational model
information theory
general theory
machine learning
knowledge base
motion estimation