Login / Signup
Solving the TTC Model Execution Case with FunnyQT.
Tassilo Horn
Published in:
TTC@STAF (2015)
Keyphrases
</>
cost function
experimental data
objective function
prior knowledge
mathematical model
video sequences
probability distribution
formal model
neural network
machine learning
social networks
high level
lower bound
probabilistic model
theoretical analysis
integer program