Keyphrases
- higher order
- lambda calculus
- natural images
- high order
- type checking
- finite number
- pairwise
- linear separability
- low order
- real numbers
- lower order
- markov random field
- finite automata
- algebraic structure
- database query languages
- conditional random fields
- consistency checking
- query containment
- programming language
- similarity measure