Formalizing Adequacy: A Case Study for Higher-order Abstract Syntax.
James CheneyMichael NorrishRené VestergaardPublished in: J. Autom. Reason. (2012)
Keyphrases
- higher order
- high level
- high order
- natural images
- pairwise
- case study
- markov models
- test bed
- low order
- information systems
- low level
- conditional random fields
- higher level
- markov random field
- probabilistic model
- context free grammars
- knowledge representation
- real time
- database systems
- image processing
- decision making
- artificial intelligence
- learning algorithm