Discovering affine equalities using random interpretation.

Sumit Gulwani George C. Necula

Published in: POPL (2003)

Keyphrases

affine transformation
affine invariant
image interpretation
high level
semantic interpretation
image registration
learning algorithm
artificial intelligence
search space
data structure
piecewise affine
geometric transformations
real time
computer vision
machine learning
neural network
databases