Non-linear Rewrite Closure and Weak Normalization.

Carles Creus Guillem Godoy Francesc Massanes Ashish Tiwari

Published in: LICS (2009)

Keyphrases

preprocessing
query rewriting
video sequences
normalization method
genetic algorithm
artificial intelligence
information systems
image processing
multiscale
data structure
learning environment
expert systems
rewrite rules
strictly convex