Axiomatizing Higher-Order Kleene Realizability.
Jaap van OostenPublished in: Ann. Pure Appl. Log. (1994)
Keyphrases
- higher order
- propositional logic
- high order
- regular expressions
- low order
- pairwise
- natural images
- lower order
- conditional random fields
- markov random field
- multiresolution
- markov models
- preprocessing
- computational complexity
- multiscale
- face recognition
- database systems
- three dimensional
- image processing
- artificial intelligence