归纳程序综合 inductive program synthesis(9) 目前没有对本词条修改信息

inductive program synthesis     Inductive Program Synthesis by Concept Learning     基于概念学习的归纳程序综合 短句来源     Inductive Program Synthesis Through Problem Solving     基于问题求解的归纳程序综合 短句来源     THE APPLICATION OF MODE INFERENCE IN INDUCTIVE PROGRAM SYNTHESIS     模式推理在归纳程序综合中的应用 短句来源     A Top-Down Method for Inductive Program Synthesis     自顶向下的归纳程序综合方法 短句来源     INDUCTIVE PROGRAM SYNTHESIS FROM TRACES     基于轨迹的归纳程序综合 短句来源 更多          “归纳程序综合”译为未确定词的双语例句     ON THE DESIGN OF AN INDUCTIVE PROGRAM SYNTHESIZER NDIPS     归纳程序综合系统NDIPS的设计 短句来源     This paper presents the inductive method for synthesizing programs from traces in NDIPS system.     本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。 短句来源 查询“归纳程序综合”译词为用户自定义的双语例句     我想查看译文中含有：的双语例句

为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法，我们为您准备了出自英文原文的大量英语例句，供您参考。

This paper discusses the approaches and problems of inductive program synthesis in software automation. The design background and implementation methods of an inductive program synthesizer NDIPS are proposed and the key techniques of automatic program induction adopted in the system are emphasized.             本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。 文摘来源          Inductive program synthesis is one of the important approaches to software autormation.             归纳程序综合是软件自动化的一种重要途径。本文把程序综合看作一种问题求解过程,通过归纳推理综合出能覆盖所给实例的一般程序。文章从方法、理论和实现上对这种途径作了探讨。 文摘来源          A method of inductive program synthesis by concept learning is presented in this paper. Hypothesis formation and validation are the two main processes of induction. In our method, hypotheses are formed and generalized according to the background knowledge. The technique of automatic construction of critical examples is adopted to validate the formed hypotheses.             本文介绍一种基于概念学习的归纳程序综合方法.假设的形成和证实是归纳过程的两个主要步骤.本文所介绍的方法是利用问题的背景知识、通过推广形成假设,并采用自动构作临界实例技术加以证实. 文摘来源   << 更多相关文摘

相关查询:

归纳程序 程序归纳 程序 归纳 服务器程序 审前程序 关键程序 程序保障 计算程序 免疫程序 计算机程序 建设程序

 对查询结果不满意