VoxLogicA：用于声明式图像分析的空间模型检测器（扩展版）
计算机科学中的逻辑
2018-11-15 v1
摘要
空间与时空模型检测技术具有广泛的应用领域，其中包括大规模分布式系统以及信号与图像分析。我们探索了一个新领域，即医学影像中的（半）自动勾画，并引入了工具 VoxLogicA，它将计算成像算法的最先进库 ITK 与空间逻辑模型检测所提供的声明式规范与优化执行的独特结合相融合。其结果是一种快速的、基于逻辑的分析开发方法学。对现有用于脑肿瘤分割的医学图像基准的分析表明，简单的 VoxLogicA 分析可以达到最先进的精度，与同类最佳算法相竞争，并具有可解释性与可复现性的优势。此外，由于与现有通用时空模型检测器 topochecker 相比有两个数量级的加速，VoxLogicA 实现了对 3D 医学图像分析的交互式开发，这可以极大便利该领域专业人员的工作。
引用
@article{arxiv.1811.05677,
title = {VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)},
author = {Gina Belmonte and Vincenzo Ciancia and Diego Latella and Mieke Massink},
journal= {arXiv preprint arXiv:1811.05677},
year = {2018}
}