Regular Structures and Testing: RCC-Adders.

Bernd Becker Uwe Sparmann

Published in: AWOC (1988)

Keyphrases

topological relations
spatial reasoning
np complete
moving objects
multi dimensional
test data
software testing
bounded treewidth
topological relationships
region connection calculus