Sign in

Non-Linear Rewrite Closure and Weak Normalization.

Carles CreusGuillem GodoyFrancesc MassanesAshish Tiwari
Published in: J. Autom. Reason. (2013)
Keyphrases
  • normalization method
  • three dimensional
  • preprocessing
  • artificial intelligence
  • computer vision
  • video sequences
  • strictly convex