Efficiently and Completely Verifying Synchronized Consistency Models.

Yi Lv Luming Sun Xiaochun Ye Dongrui Fan Peng Wu

Published in: ATVA (2014)

Keyphrases

prior knowledge
e learning
complex systems
statistical models
learning models
database
information retrieval
markov chain
model selection
parameter estimation
bayesian framework