Locking discipline inference and checking.

Michael D. Ernst Alberto Lovato Damiano Macedonio Fausto Spoto Javier Thaine

Published in: ICSE (2016)

Keyphrases

consistency checking
information systems
inference process
computer science
fine granularity
machine learning
grammatical inference
probabilistic inference
bayesian networks
databases
random fields
bayesian inference
dynamic bayesian networks
bayesian model
structured prediction
database systems
decision trees