Model Transformation Verification Using Mapping Pattern and Model Transformation Similarity.

Jong-Won Ko Su-Jin Baek Jung-Soo Han

Published in: ICITCS (2012)

Keyphrases

computational model
formal model
real time
probabilistic model
database
theoretical analysis
theoretical framework
experimental data
prediction model
network model
computer vision
decision trees
high level
video sequences
cost function
hidden markov models
neural network
data sets
closed form
conceptual model