• 卫星卫星

  • 参考22篇文章[sw13117]
  • 例如模型计数和知识 汇编. RSat使用了一种相位选择启发式算法。。。
  • 选择4

  • 引用79篇文章[sw15222]
  • 实施。我们假设编译程序,汇编代码和硬件,我们使用了一个独特的。。。形式和操作系统技术。我们的知识,这是第一个正式的证据。。。
  • 坚实的

  • 参考12篇文章【sw10595】
  • 以统一形式包含全局知识安全策略的。。。关系模型;(3)模型编译程序翻译全球知识模型进入防火墙。。。
  • XPP-VC公司

  • 引用5篇文章[sw02335]
  • 矢量化。时间分区阶段保证汇编具有无限复杂度的程序,前提是。。。依赖关系或嵌套级别。我们的知识,的汇编性能无与伦比。。。
  • 皮诺曹

  • 引用了30篇文章[sw10193]
  • 另外一个特点是,皮诺曹归纳为零-知识以微不足道的代价证明。。。提供一个端到端的工具链编译C语言的一个子集到程序中。。。
  • 嬉皮士

  • 1条引用[sw01201]
  • 知识基础汇编. 有效利用知识基于系统技术解决复杂。。。提出了一种完整的汇编属于知识直接基于过程代码。。。
  • 命题解决

  • 1条引用[sw28841]
  • 情报和验证(用于诱拐推理,知识 汇编诊断等)。我们还表明。。。
  • 斯佩克特

  • 引用3篇文章[sw01114]
  • 推理。调查知识分类依据和编译给出程序。验证。。。自动显示使用知识基地。。。
  • HTGviz公司

  • 1条引用[sw23529]
  • 用户可以清楚地了解编译程序并行化程序,同时。。。用户共同工作知识编译程序技术。HTGviz是在Parafrase上实现的。。。
  • 巴特

  • 引用2篇文章[sw01950]
  • 三个主要组成部分:知识采集系统,网络编译程序,以及核心推理程序。。。
  • 诺瑞克

  • 引用9篇文章[sw24487]
  • 非托管语言,包括静态和动态汇编容易的,不可避免的。。。回避机制。为了我们最好的知识,没有现存的STM系统结合了这一点。。。
  • 希特勒

  • 参考第11条[sw28454]
  • 传输分子吸收数据库。希兰是个汇编光谱参数的变化。。。响应详细的需求知识大气的红外特性。。。
  • 赫利俄斯

  • 参考第11条[sw01440]
  • 赫利俄斯是第一个知识)全局优化建模语言。。。最优化问题中的最优解。赫利俄斯的陈述是编译牛顿,一种约束逻辑编程语言。。。
  • 普拉斯普

  • 参考7篇文章[sw07080]
  • 旨在保持汇编简单的有利于建模规划技术的元。。。规划社区受益于知识表达和推理能力。。。
  • fmp截面理论

  • 引用8篇文章[sw19977]
  • 卡地亚将军,我们能有效除数编译一组确定。。。实例射影空间知识,这是第一个能够。。。
  • 相互作用

  • 1条引用[sw13024]
  • 改变编译程序的中间表示。然而,这种转变需要专家知识GCC内部。。。
  • 规则2CP

  • 引用5篇文章[sw06255]
  • 针对特定问题的规则2cp库。包装知识建模语言PKML就是这样一个库。。。限制和特定行业要求。规则2cp编译程序将Rules2CP语句转换为约束程序。。。
  • SQL证书

  • 1条引用[sw28676]
  • ISO/IEC 2006最终委员会草案。作为SQL编译器“逻辑优化基于代数重写。。。知识,SQL(实际片段)的可执行机械化建议编译程序...
  • KBPs

  • 1条引用[sw28577]
  • 相关代理人知识和行为。这里我们提出了一个总体方案编译KBPs。。。
  • 丽莎

  • 引用3篇文章[sw02450]
  • 包含编辑器(一种语言)的特定环境-博学的编辑器和结构化编辑器),编译器/解释器。。。扫描仪生成器解析器生成器等工具,编译程序生成器和转换工具。。。