Environmental Bisimulations for Probabilistic Higher-order Languages.
Davide SangiorgiValeria VignudelliPublished in: ACM Trans. Program. Lang. Syst. (2019)
Keyphrases
- higher order
- high order
- expressive power
- probabilistic model
- language independent
- generative model
- pairwise
- natural images
- databases
- uncertain data
- markov random field
- conditional random fields
- socio economic
- multiscale
- data driven
- data sets
- bayesian networks
- posterior probability
- similarity measure
- cross lingual
- artificial intelligence
- text summarization
- probabilistic logic
- low order
- neural network
- multi lingual
- lower order
- probabilistic approaches