A Termination Ordering for Higher Order Rewrite System.
Olav LysneJavier PirisPublished in: RTA (1995)
Keyphrases
- higher order
- high order
- natural images
- pairwise
- low order
- lambda calculus
- term rewriting
- partial order
- artificial intelligence
- markov random field
- rewrite rules
- partial ordering
- programming language
- conditional random fields
- hidden markov models
- expert systems
- markov models
- multi valued
- query rewriting
- active rules
- learning algorithm
- shows a significant improvement
- real world