【摘 要】
：
Some criteria based on mode inference for validating inductive hypotheses are presented in this pa-per.Mode inference is carried out mechanically,thus such kin
【机 构】
：
Institute of Computer SoftwareNanjing UniversityNanjing 210008,
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
Some criteria based on mode inference for validating inductive hypotheses are presented in this pa-per.Mode inference is carried out mechanically,thus such kind of validation can result in low overheadin consistency check and high efficiency in performance.
Some criteria based on mode inference for validating inductive hypotheses are presented in this pa-per. Mode inference is carrying out mechanically, thus such kind of validation can result in low overhead in consistency check and high efficiency in performance.
其他文献
This paper proposes an approach for functional knowledge representation based on problemreduction,which represents the organization of problem-solving activiti
任务驱动型作文在2017年的高考卷中又出现了，这一点并没有出乎同学们的意料之外，这说明同学们对于这一题型的发展趋势有一定认识，这是好事，但是在今年的高考湖北阅卷中，“脱离材料说理”的情况还是不少。我在这里特地指出这种情况的危害，并给大家提出备考建议。 湖北2017年高考选用的是全国课标卷Ⅰ，题目如下： 据近期一项对来华留学生的调查，他们较为关注的“中国关键词”有：一带一路、大熊猫、广场舞、中华
羟基磷灰石(Hydroxyapatite,HA)作为眶内植入体应用于临床,由于其具有无毒,无排异,质量轻,可活动,对X线检查及放射无影响[1]等特性,得到了广泛应用。我院自1997年12月～1999年4
我国公务员共分为15级,各个职务对应一定的级别。职与级别的对应关系是:(一)国务院总理:一级:(二)国务院副总理、国务委级:(三)部级正职、省级正职;三至四级:(四)部级副职、
还记得2003年初,我光荣当选为县十三届人大代表的那天我的激动心情。作为卫生系统的代表,从那刻起,我的脑海里就一直有这样一个信念:“人大代表为人民,人民有事找人大。”也
With the advent of economic globaliza-tion and the knowledge economy, a country’scapacity for technological innovation has in-creasingly become the outstanding
本文首先澄清了几个为CAD/CAM用户所关心的工程工作站问题,在这一基础上,介绍了工程工作站的目前技术状况,并探讨了其未来动向。
This article first clarifies several eng
一、引言在现代电子设备的设计和制造中都要经过印刷电路板设计这一步骤,通常这一工作是在制图板上由人工设计完成的,这要求设计人员具备相当熟练的技巧和丰富的实践经验。
随着教育改革的不断深化,中小学生在掌握必备的科学理论基础知识之外,还需要通过社会实践活动来提高自身的综合素质以及实践能力。通过社会实践活动,可以增强中小学生的团队
[本刊讯]7月5日至7日,中国行政管理学会后勤管理研究会在吉林省长春市一汽集团公司召开"全国发展后勤产业研讨会".这个研讨会的宗旨和目的是:以江泽民总书记"三个代表"重要思想为指导,贯彻落实九届全国人大四次会议关于加快发展服务业的精神,总结、交流发展后勤产业的经验,探讨发展后勤产业的新思路、新做法,明确发展后勤产业的指导思想,促进后勤产业的发展.