program-synthesizing algorithm
... 程序综合控制设备 programmed integrated control equipment 程序综合算法 program-synthesizing algorithm 程序总线 program bus ...
基于12个网页-相关网页
·2,447,543篇论文数据,部分数据来源于NoteExpress
本文以归纳程序综合系统NDIPS为背景,介绍自顶向下的归纳程序综合算法,以及程序假设空间的组织、搜索所采用的技术和策略。
With the inductive program synthesis system NDIPS, this paper presents its synthesis algorithm, the organization of its hypothesis space and the search strategies it adopted.
youdao
应用推荐
模块上移
模块下移
不移动