Probabilistic, modular and scalable inference of typestate specifications.
Nels E. BeckmanAditya V. NoriPublished in: PLDI (2011)
Keyphrases
- bayesian networks
- belief networks
- inference process
- probabilistic reasoning
- logical inference
- probabilistic model
- probabilistic logic
- probabilistic inference
- probabilistic networks
- generative model
- bayesian reasoning
- bayes nets
- uncertain data
- highly scalable
- factor graphs
- inference mechanism
- highly flexible
- bayesian inference
- variable elimination
- web scale
- probability distribution
- probabilistic modeling
- data streams
- data sets
- delay insensitive
- neural network
- web services
- asynchronous circuits
- data driven
- bayesian model
- parameter estimation
- formal specification
- posterior probability
- context sensitive