THOR: A Tool for Reasoning about Shape and Arithmetic.

Stephen Magill Ming-Hsien Tsai Peter Lee Yih-Kuen Tsay

Published in: CAV (2008)

Keyphrases

shape model
shape analysis
spatial reasoning
shape features
data sets
arbitrarily shaped
case study
shape recognition
shape matching
object oriented databases
invariant properties
shape description
medial axis
database
object oriented
multiresolution
data mining
real time