Login / Signup
Applying Formal Reasoning to Model Transformation: The Meeduse solution.
Akram Idani
Germán Vega
Michael Leuschel
Published in:
TTC@STAF (2019)
Keyphrases
</>
mathematical model
formal model
probabilistic model
prior knowledge
linear model
objective function
cost function
management system
statistical model
prediction model
genetic algorithm
learning algorithm
probability distribution
input data
parameter estimation