Sign in
Specification Inference and Invariant Generation: A Machine Learning Perspective.
Aditya V. Nori
Published in:
ATx/WInG@IJCAR (2012)
Keyphrases
</>
bayesian networks
real time
specification language
bayesian model
inference mechanism
multiscale
affine invariant
bayesian inference
belief networks
efficient learning
formal specification
random fields
website
information systems
artificial intelligence
databases
data sets