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

Frédéric Mesnard Alexander Serebrenik

Published in: CoRR (2007)

Keyphrases

higher level
computer vision
e learning
decision trees
affine transformation
database
data mining
image processing
image registration
constraint programming
transitive closure