Non-Linear Rewrite Closure and Weak Normalization.

Carles Creus Guillem Godoy Francesc Massanes Ashish Tiwari

Published in: J. Autom. Reason. (2013)

Keyphrases

normalization method
three dimensional
preprocessing
artificial intelligence
computer vision
video sequences
strictly convex