Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning.
Marc AiguierIsabelle BlochPublished in: J. Appl. Non Class. Logics (2019)
Keyphrases
- mathematical morphology
- spatial reasoning
- topological relations
- gray scale
- binary images
- spatial relations
- image analysis
- lattice theory
- image and signal processing
- set theory
- morphological operators
- image processing
- temporal reasoning
- morphological operations
- spatial knowledge
- adaptive neighborhood
- structuring elements
- morphological image processing
- watershed transform
- translation invariant
- edge detection
- directional relations
- partial differential equations
- colour images
- closely related
- computationally simple
- knowledge representation
- color images
- multiscale
- image sequences