Higher-Order Abstract Syntax in Coq.
Joëlle DespeyrouxAmy P. FeltyAndré HirschowitzPublished in: TLCA (1995)
Keyphrases
- higher order
- high level
- natural images
- high order
- lambda calculus
- pairwise
- formal methods
- higher level
- markov random field
- low order
- markov models
- conditional random fields
- natural language
- lower order
- neural network
- clustering algorithm
- image segmentation
- data model
- website
- video sequences
- object recognition
- search algorithm
- rule language