Theory Instantiation.

Harald Ganzinger Konstantin Korovin

Published in: LPAR (2006)

Keyphrases

general theory
machine learning
decision theory
theoretical basis
formal theory
real world
theoretical framework
real time
computational model
artificial neural networks
user interface
trade off
feature space
multi agent systems
three dimensional
data mining
databases