Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning.
Marc AiguierIsabelle BlochPublished in: CoRR (2017)
Keyphrases
- mathematical morphology
- spatial reasoning
- lattice theory
- set theory
- gray scale
- topological relations
- formal theory
- binary images
- morphological operators
- spatial relations
- image analysis
- image and signal processing
- morphological operations
- adaptive neighborhood
- temporal reasoning
- image processing
- morphological image processing
- edge detection
- spatial knowledge
- spatially variant
- directional relations
- qualitative spatial reasoning
- partial differential equations
- morphological filters
- computationally simple
- linear filtering
- structuring elements
- colour images
- watershed transform
- propositional logic
- closely related
- input image
- horn clauses
- color images