Innovating Medical Image Analysis via Spatial Logics.
Gina BelmonteVincenzo CianciaDiego LatellaMieke MassinkPublished in: From Software Engineering to Formal Methods and Tools, and Back (2019)
Keyphrases
- medical image analysis
- medical images
- deformable models
- image registration
- image analysis
- medical imaging
- anatomical structures
- medical image data
- computer vision and pattern recognition
- imaging modalities
- brain mr images
- visual programming environment
- spatial data
- spatio temporal
- shape modeling
- medical image segmentation
- modal logic
- surface registration
- magnetic resonance images
- clinical applications
- brain structures
- cerebral cortex
- spatial and temporal
- spatial information
- prostate cancer
- expressive power
- registration framework
- spatial relationships
- medical data
- computer vision
- x ray
- higher order
- pattern recognition
- three dimensional
- image processing