Polynomial Interpretations for Higher-Order Rewriting
Carsten FuhsCynthia KopPublished in: CoRR (2012)
Keyphrases
- higher order
- low order
- high order
- natural images
- markov models
- pairwise
- query rewriting
- lower order
- rewrite rules
- markov random field
- rewriting rules
- conditional random fields
- rewriting systems
- lambda calculus
- polynomial hierarchy
- termination analysis
- conjunctive queries
- boolean functions
- database
- query answering
- data exchange
- expressive power
- image segmentation