Invariant Generation for Probabilistic Programs.
Friedrich GretzPublished in: Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
- database
- probabilistic model
- generation process
- affine invariant
- generative model
- data driven
- bayesian networks
- invariant properties
- context sensitive
- multiscale
- artificial intelligence
- neural network
- programming language
- image segmentation
- case study
- information theoretic
- posterior probability
- affine transformation
- decision trees
- computer programs
- probability theory
- probabilistic logic
- intermediate level
- data sets