Model-Equivalent Reductions.

Xishun Zhao Hans Kleine Büning

Published in: SAT (2005)

Keyphrases

probabilistic model
real time
management system
computational model
linear model
database
formal model
simulation model
computational models
conceptual model
hierarchical structure
mathematical model
least squares
cost function
data structure
training data
artificial intelligence