A Formalism for Specifying Model Merging Conflicts.

Mohammadreza Sharbaf Bahman Zamani Gerson Sunyé

Published in: SAM (2020)

Keyphrases

statistical model
formal model
cost function
computational model
mathematical model
database
artificial intelligence
multiscale
multi agent
cooperative
artificial neural networks
probabilistic model
em algorithm
petri net
model checking
conceptual model