Experimentation with a Big-Step Semantics for ATL Model Transformations.

Published in: ICMT (2017)

Keyphrases

mathematical model
computational model
experimental data
information retrieval
data sets
conceptual model
cooperative
statistical model
semantic models
formal model
theoretical analysis
probability distribution
cost function
search algorithm
objective function
image segmentation
social networks