Bounded Model Debugging.

Brian Keng Sean Safarpour Andreas G. Veneris

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2010)

Keyphrases

probabilistic model
mathematical model
statistical model
management system
data sets
machine learning
information systems
high level
hybrid model
network model
simulation model
sensitivity analysis
network structure
prior knowledge
similarity measure
clustering algorithm
learning algorithm
data mining