Department of Computer Science University of Durham, UK;
机译:通过算法学习自动推断循环不变式
机译:基于多标签学习的旋转不变LBP直方图分布和连通区域统计在自动图像标注中的应用
机译:一个简单的数学模型,利用拓扑不变性自动检测数字组织图像中的肿瘤区域
机译:利用自动推断在图形构造和搜索中的不变性
机译:产品搜索引擎的自动目录构建。
机译:一个简单的数学模型利用拓扑不变性自动检测数字组织图像中的肿瘤区域
机译:在图的构建和搜索中利用自动推断的不变式