Environmental Bisimulations for Higher-Order Languages.
Davide SangiorgiNaoki KobayashiEijiro SumiiPublished in: LICS (2007)
Keyphrases
- higher order
- high order
- expressive power
- language independent
- markov random field
- pairwise
- natural images
- target language
- conditional random fields
- databases
- object oriented languages
- environmental protection
- linguistic resources
- low order
- markov models
- cross lingual
- data sets
- natural language processing
- computer programs
- information extraction
- image segmentation
- grammatical inference
- socio economic
- lower order
- artificial intelligence
- air pollution
- machine learning
- native language
- drinking water