A spatial model checker in GPU (extended version)
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.
Code (0)
등록된 구현이 없습니다.
Tasks
GPUmodelSimilar Papers 제목 키워드 기반
Spatial Logics and Model Checking for Medical Imaging (Extended Version)
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 potenti…
SegmentationTexture ClassificationSpatialBench-UC: Uncertainty-Aware Evaluation of Spatial Prompt Following in Text-to-Image Generation
Evaluating whether text-to-image models follow explicit spatial instructions is difficult to automate. Object detectors may miss targets or return multiple plausible detections, and simple geometric tests can become ambi…
Text-to-Image GenerationA context sensitive real-time Spell Checker with language adaptability
We present a novel language adaptable spell checking system which detects spelling errors and suggests context sensitive corrections in real-time. We show that our system can be extended to new languages with minimal lan…
ArticlesKannada Spell Checker with Sandhi Splitter
Spelling errors are introduced in text either during typing, or when the user does not know the correct phoneme or grapheme. If a language contains complex words like sandhi where two or more morphemes join based on some…
Machine TranslationCheckerboard Context Model for Efficient Learned Image Compression
For learned image compression, the autoregressive context model is proved effective in improving the rate-distortion (RD) performance. Because it helps remove spatial redundancies among latent representations. However, t…
Computational EfficiencyImage Compressionmodel