A spatial model checker in GPU (extended version)
This work provides a tool for medical imaging researchers to improve segmentation tasks, but it is incremental as it builds on an existing method with GPU acceleration.
The researchers tackled the problem of brain tumor segmentation by developing a GPU-based version of voxlogica, which achieved state-of-the-art accuracy on an existing benchmark.
The tool voxlogica merges the state-of-the-art library of computational imaging algorithms ITK with the combination of declarative specification and optimised execution provided by spatial logic model checking. The analysis of an existing benchmark for segmentation of brain tumours via a simple logical specification reached state-of-the-art accuracy. We present a new, GPU-based version of voxlogica and discuss its implementation, scalability, and applications.