Abstraction-Based Relevancy Testing for Model Elimination.

Marc Fuchs Dirk Fuchs

Published in: CADE (1999)

Keyphrases

computational model
neural network
high level
probabilistic model
theoretical framework
information retrieval
search algorithm
expert systems
prior knowledge
cost function
input data
theoretical analysis
conceptual model
network model
data sets
simulation model
mathematical model
markov chain
object oriented