Deciding Probabilistic Program Equivalence in NetKAT.
Steffen SmolkaDavid M. KahnPraveen KumarNate FosterDexter KozenAlexandra SilvaPublished in: CoRR (2017)
Keyphrases
- probabilistic model
- context sensitive
- information theoretic
- java programs
- bayesian networks
- multiscale
- computer programs
- data driven
- advanced research projects agency
- probabilistic interpretation
- probabilistic networks
- programming environment
- database
- learning environment
- information systems
- data mining
- neural network
- real time