Keyphrases
- higher order
- termination analysis
- high order
- presburger arithmetic
- active rules
- natural images
- rewrite rules
- term rewrite systems
- markov random field
- active databases
- low order
- conjunctive queries
- type checking
- pairwise
- quantifier elimination
- query rewriting
- conditional random fields
- rewriting rules
- term rewriting
- rewrite systems
- data sets
- markov models
- multiscale
- case study
- probabilistic model
- lower order
- query answering
- databases