On the Expressivity and Applicability of Model Representation Formalisms.

Andreas Teucke Marco Voigt Christoph Weidenbach

Published in: FroCos (2019)

Keyphrases

theoretical analysis
mathematical model
management system
cost function
computational model
model construction
database
genetic algorithm
learning algorithm
artificial intelligence
probabilistic model
input data
formal model
graphical representation
temporal structure