abstract interpretation; array abstraction; array content analysis; array property inference; invariant synthesis; staticanalysis; program verification;
机译:用于全自动且可扩展的阵列内容分析的参数分段函子
机译:使用应用于脑肿瘤分割的图像内容分析自动选择基于区域的基于区域的主动轮廓模型
机译:使用参数统计形状建模和随机森林回归投票自动分割拇指下颌掌关节
机译:用于全自动和可扩展的数组内容分析的参数分段函子
机译:基于组合的视听内容分析,对视听数据进行自动分段,索引和检索。
机译:AUCSEG:用于多参数MR图像中的高档GLIIMAS的3D分割的自动无监督聚类工具箱
机译:用于全自动和可伸缩阵列内容分析的参数分割仿函数
机译:参数接收阵列的非线性尺度规律。第一部分理论分析,