Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
To solve this problem, this compilation of several new and emerging nature of the target language in-depth analysis, expanding the knowledge compilation map.
针对这一问题，本文对几种新发现的编译目标语言的性质进行了深入的分析，同时扩展了知识编译图谱。
The main motivation of knowledge compilation is putting the main expense on the off-line stage, using for numerous Effective off-line query to offset, and generate a fast online inference system.
知识编译的主要动机是将主要花销放在离线阶段，用无数次的有效在线查询抵消，并生成一个快捷的在线推理系统。
To quote from the Web site, "A Knowledge Collection is a focused compilation of links to documents that share a common theme.
该网站介绍以下内容：“知识集锦是关于一个公共主题的文档的重点链接编译集合。
To my knowledge, no perfect way to detect JIT compilation exists.
根据我的知识，还没有探测JIT编译是否发生的完美方法。
Has knowledge of Flex application development and compilation?
对Flex应用程序的开发和编辑有一定的了解。
This paper discusses the changes the thesauri should make in organizing knowledge of digital resources in terms of the compilation and application of the thesauri.
文章从叙词表的编制和应用两个方面讨论了数字资源知识组织中叙词表应该进行的变革。
Compilation of machining parameters selects from knowledge base or fills out related parameters directly through interactive manner.
工艺编辑是主要是通过交互的方式，从知识库中选择或是直接填写相干工艺参数。
Frantic compilation of knowledge lying in between pages.
疯狂编纂纸页间的知识。
If you understand a bit operating system and the compilation of knowledge, please contact a lot.
如果你懂一点汇编和操作系统的知识的话，请多多联系。
If you understand a bit operating system and the compilation of knowledge, please contact a lot.
如果你懂一点汇编和操作系统的知识的话，请多多联系。
应用推荐