A Categorical Axiomatisation of Region-Based Geometry.

Brandon Bennett

Published in: Fundam. Informaticae (2001)

Keyphrases

three dimensional
modal logic
categorical data
real time
image segmentation
numerical data
genetic algorithm
database systems
expert systems
functional dependencies
inference rules
geometric structure
relative position
region matching