Probabilistic NetKAT.
Nate FosterDexter KozenKonstantinos MamourasMark ReitblattAlexandra SilvaPublished in: ESOP (2016)
Keyphrases
- probabilistic model
- uncertain data
- probabilistic interpretation
- artificial intelligence
- probabilistic logic
- generative model
- probabilistic approaches
- probability theory
- conditional probabilities
- probability distribution
- user interface
- bayesian networks
- high level
- case study
- decision trees
- image processing
- information systems