Distributed Verification of Mixing - Local Forking Proofs Model.

Jacek Cichon Marek Klonowski Miroslaw Kutylowski

Published in: ACISP (2008)

Keyphrases

management system
multi agent
cooperative
probabilistic model
computational model
conceptual model
statistical model
data sets
high level
prior knowledge
formal model
theoretical analysis
verification method
database
process model
theoretical framework
parameter estimation
markov random field
similarity measure