GPU 上的空间模型检测器（扩展版）
计算机科学中的逻辑
2020-10-16 v1 计算机视觉与模式识别
摘要
工具 voxlogica 将计算成像算法的最先进库 ITK 与由空间逻辑模型检测提供的声明式规范及优化执行相结合。通过简单的逻辑规范对脑肿瘤分割的现有基准进行分析，达到了最先进的精度。我们提出了 voxlogica 的一个新的基于 GPU 的版本，并讨论其实现、可扩展性和应用。
引用
@article{arxiv.2010.07284,
title = {A spatial model checker in GPU (extended version)},
author = {Laura Bussi and Vincenzo Ciancia and Fabio Gadducci},
journal= {arXiv preprint arXiv:2010.07284},
year = {2020}
}