An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice.
Jan Friso GrooteErik P. de VinkPublished in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
- bayesian networks
- programming language
- language learning
- natural language
- specification language
- language processing
- probability distribution
- generative model
- massively parallel
- context sensitive
- parallel computing
- parallel processing
- probabilistic model
- posterior probability
- data sets
- belief networks
- conditional probabilities
- probabilistic reasoning
- data distribution
- target language
- power law
- computer architecture
- data model
- probabilistic logic
- parallel programming
- stochastic context free grammars