Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations.

Sven Verdoolaege Albert Cohen Anna Beletska

Published in: SAS (2011)

Keyphrases

transitive closure
binary relations
semantic relations
affine invariant
affine transformation
information systems
image registration
databases
learning algorithm
multiscale
spatial relations
temporal relations
closed sets