Title | ||
---|---|---|
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). |
Abstract | ||
---|---|---|
Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. We explore a new domain, namely (semi-)automatic contouring in Medical Imaging, introducing the tool VoxLogicA which merges the state-of-the-art library of computational imaging algorithms ITK with the unique combination of declarative specification and optimised execution provided by spatial logic model checking. The result is a rapid, logic based analysis development methodology. The analysis of an existing benchmark of medical images for segmentation of brain tumours shows that simple VoxLogicA analysis can reach state-of-the-art accuracy, competing with best-in-class algorithms, with the advantage of explainability and replicability. Furthermore, due to a two-orders-of-magnitude speedup compared to the existing general-purpose spatio-temporal model checker topochecker, VoxLogicA enables interactive development of analysis of 3D medical images, which can greatly facilitate the work of professionals in this domain. |
Year | Venue | DocType |
---|---|---|
2018 | arXiv: Logic in Computer Science | Journal |
Volume | Citations | PageRank |
abs/1811.05677 | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gina Belmonte | 1 | 3 | 3.76 |
Vincenzo Ciancia | 2 | 96 | 10.80 |
Diego Latella | 3 | 1168 | 113.42 |
Mieke Massink | 4 | 1095 | 87.58 |