归纳断言相关论文
程序验证是计算机程序设计领域的传统研究课题，也是当前非常热门的可信计算研究的重点方向之一。然而，对于常见的绝大多数程序而言，完......
２０００年秋天 ,我有幸读到了北京理工大学吴鹤龄教授与崔林先生编著的《ＡＣＭ图灵奖———计算机发展史的缩影》一书 ,我感到这是一本计算机专......
利用归纳断言方法验证程序正确性的难点是如何找到循环不变式.由程序员直接给出不变式有种种弊端,而现有生成不变式的方法都是根据......
目前,机器学习研究方兴未艾,同时,对一些基本概念、基本问题的提法尚各执一词。本文首先概述了我们关于机器学习有关问题的基本认......
