Polynomial Interpretations for Higher-Order Rewriting.

Carsten Fuhs Cynthia Kop

Published in: RTA (2012)

Keyphrases

lower order
higher order
low order
high order
natural images
markov models
markov random field
rewriting rules
multiscale
pairwise
databases
queries using views
rewrite rules
case study
neural network
query evaluation
conditional random fields
knowledge base
anti unification
rewriting systems
database