Logic-Based Model-Level Software Development with F-OML.

Mira Balaban Michael Kifer

Published in: MoDELS (2011)

Keyphrases

software development
statistical model
database
machine learning
multi agent
mathematical model
experimental data
formal model
high level
similarity measure
objective function
video sequences
simulation model
prediction model
metamodel