Converting Ptolemy II Models to SpaceEx for Applied Verification.

Shiwei Ran Jinzhi Lin Ying Wu Jianzhong Zhang Yuwei Xu

Published in: ICA3PP (1) (2014)

Keyphrases

neural network
model selection
statistical model
machine learning
image sequences
prior knowledge
probabilistic model
complex systems
experimental data
bayesian framework
computational models