Stepwise Enhancement and Higher-Order Programming in Prolog.
Lee NaishLeon SterlingPublished in: J. Funct. Log. Program. (2000)
Keyphrases
- higher order
- programming language
- programming paradigms
- lambda calculus
- high order
- natural images
- pairwise
- knowledge representation
- object oriented programming
- markov random field
- functional programming
- image enhancement
- real time
- logic programming
- markov models
- forward selection
- abstract machine
- image processing
- knowledge base
- data sets
- conditional random fields
- software engineering
- computer programming
- parallel programming
- lower order
- expert systems
- search algorithm
- logic programs
- contrast enhancement
- image analysis
- relational databases
- explanation based generalization
- high level language