利用空间逻辑与模型检测进行痣分割
计算机科学中的逻辑
2020-12-25 v1 图像与视频处理
神经元与认知
摘要
空间及时空模型检测技术具有广泛的应用领域，其中包括大规模分布式系统以及信号与图像分析。在后一领域中，医学影像中的自动与半自动勾画已被证明是一种极具前景且通用的应用，可极大便利该领域专业人员的工作，同时支持可解释性、易复现性及医学图像分析方法的交流。在近期工作中，我们已将此种模型检测技术应用于脑磁共振图像中肿瘤及相关水肿的（三维）勾画。在当前工作中，我们处理痣的（二维）图像勾画。处理痣图像的挑战之一是其形状、颜色、纹理和尺寸上相当大的不均匀性。为应对此挑战，我们结合使用纹理相似性算子与空间逻辑算子。我们将该技术应用于一个大型公共数据库的图像，并将结果与领域专家提供的相应真值分割进行比较。
引用
@article{arxiv.2012.13289,
title = {Using Spatial Logic and Model Checking for Nevus Segmentation},
author = {Gina Belmonte and Giovanna Broccia and Vincenzo Ciancia and Diego Latella and Mieke Massink},
journal= {arXiv preprint arXiv:2012.13289},
year = {2020}
}