Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
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编译是否发生的完美方法。
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.
文章从叙词表的编制和应用两个方面讨论了数字资源知识组织中叙词表应该进行的变革。
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.
如果你懂一点汇编和操作系统的知识的话，请多多联系。
应用推荐