Recent research on spatial and spatio-temporal model checking provides novel image analysis methodologies, rooted in logical methods for topological spaces. Medical imaging (MI) is a field where such methods show potential for ground-breaking innovation. Our starting point is SLCS, the Spatial Logic for Closure Spaces--closure spaces being a generalisation of topological spaces, covering also discrete space structures--and topochecker, a model checker for SLCS (and extensions thereof). We introduce the logical language ImgQL ("Image Query Language"). ImgQL extends SLCS with logical operators describing distance and region similarity. The spatio-temporal model checker topochecker is correspondingly enhanced with state-of-the-art algorithms, borrowed from computational image processing, for efficient implementation of distance-based operators, namely distance transforms. Similarity between regions is defined by means of a statistical similarity operator, based on notions from statistical texture analysis. We illustrate our approach by means of an example of analysis of Magnetic Resonance images: segmentation of glioblastoma and its oedema.
Spatial logics and model checking for medical imaging
Ciancia V;Latella D;Massink M
2019
Abstract
Recent research on spatial and spatio-temporal model checking provides novel image analysis methodologies, rooted in logical methods for topological spaces. Medical imaging (MI) is a field where such methods show potential for ground-breaking innovation. Our starting point is SLCS, the Spatial Logic for Closure Spaces--closure spaces being a generalisation of topological spaces, covering also discrete space structures--and topochecker, a model checker for SLCS (and extensions thereof). We introduce the logical language ImgQL ("Image Query Language"). ImgQL extends SLCS with logical operators describing distance and region similarity. The spatio-temporal model checker topochecker is correspondingly enhanced with state-of-the-art algorithms, borrowed from computational image processing, for efficient implementation of distance-based operators, namely distance transforms. Similarity between regions is defined by means of a statistical similarity operator, based on notions from statistical texture analysis. We illustrate our approach by means of an example of analysis of Magnetic Resonance images: segmentation of glioblastoma and its oedema.File | Dimensione | Formato | |
---|---|---|---|
prod_409696-doc_144086.pdf
accesso aperto
Descrizione: Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Tipologia:
Versione Editoriale (PDF)
Dimensione
6.24 MB
Formato
Adobe PDF
|
6.24 MB | Adobe PDF | Visualizza/Apri |
prod_409696-doc_147969.pdf
non disponibili
Descrizione: Spatial Logics and Model Checking for Medical Imaging
Tipologia:
Versione Editoriale (PDF)
Dimensione
2.48 MB
Formato
Adobe PDF
|
2.48 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.