从集体自适应系统到以人为中心的计算并反之：医学成像中的空间模型检测
计算机科学中的逻辑
2016-07-11 v1 计算机视觉与模式识别
摘要
近期关于集体自适应系统（CAS）形式化验证的研究推动了空间与时空模型检测的进展，并作为附带成果提供了源于拓扑空间逻辑方法的新型图像分析方法论。医学成像（MI）是一个此类技术展现出突破性创新潜力的领域。在这篇立场论文中，我们展示了一项以空间模型检测在 MI 中的应用为中心的初步研究。焦点从纯逻辑转向逻辑、统计与算法方法的混合，这由该领域中感兴趣属性规范固有的逻辑性质所驱动。结果引入了新的算子，这些算子同样可以引回 CAS 的设定中。
引用
@article{arxiv.1607.02235,
title = {From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging},
author = {Gina Belmonte and Vincenzo Ciancia and Diego Latella and Mieke Massink},
journal= {arXiv preprint arXiv:1607.02235},
year = {2016}
}
备注
In Proceedings FORECAST 2016, arXiv:1607.02001