An Approach for Model Composition and Verification.

Defen Zhang Shixian Li Xianming Liu

Published in: NCM (2009)

Keyphrases

probabilistic model
statistical model
high level
closed form
mathematical model
hybrid model
formal model
multi agent
prior knowledge
autoregressive
real time
prediction model
computational model
theoretical analysis
cost function
objective function
knowledge base
artificial intelligence
machine learning