Lattice-Based Semantics for Combinatorial Model Evolution.

Rachel Tzoref-Brill Shahar Maoz

Published in: ATVA (2015)

Keyphrases

probabilistic model
theoretical analysis
experimental data
computational model
data mining
semantic models
formal model
mathematical model
case study
markov chain
probability distribution
similarity measure
high level
simulation model
machine learning
temporal evolution
data sets
definition language