Environmental bisimulations for probabilistic higher-order languages.
Davide SangiorgiValeria VignudelliPublished in: POPL (2016)
Keyphrases
- multi lingual
- higher order
- language independent
- cross lingual
- pairwise
- natural images
- language identification
- low order
- bayesian networks
- probabilistic logic
- probabilistic reasoning
- uncertain data
- generative model
- context sensitive
- high order
- expressive power
- data driven
- environmental factors
- environmental protection
- socio economic
- environmental information
- database
- probabilistic model
- relational databases
- neural network
- databases
- data sets