DMC: A Distributed Model Counter.

Jean-Marie Lagniez Pierre Marquis Nicolas Szczepanski

Published in: IJCAI (2018)

Keyphrases

formal model
computational model
prior knowledge
simulation model
sensitivity analysis
high level
experimental data
real time
distributed systems
trust model
process model
theoretical framework
maximum likelihood
cooperative
multi agent
objective function
information retrieval
data mining
databases
data sets