Login / Signup

Recurrence with affine level mappings is P-time decidable for CLP(R).

Frédéric MesnardAlexander Serebrenik
Published in: Theory Pract. Log. Program. (2008)
Keyphrases
  • affine transformation
  • affine invariant
  • computer vision
  • image registration
  • higher level
  • levels of abstraction
  • piecewise affine
  • databases
  • neural network
  • website
  • high level
  • first order logic
  • lower level