Login / Signup
Automated verification of model transformations based on visual contracts.
Esther Guerra
Juan de Lara
Manuel Wimmer
Gerti Kappel
Angelika Kusel
Werner Retschitzegger
Johannes Schönböck
Wieland Schwinger
Published in:
Autom. Softw. Eng. (2013)
Keyphrases
</>
probabilistic model
experimental data
high level
statistical model
mathematical model
formal model
prior knowledge
visual features
computational model
conceptual model
image classification
logic programs
input data
theoretical framework
low level
image sequences
neural network model
neural network