• 超验

  • 23篇参考文献[SW22172]
  • 超证明是系统学习分析原理推理证明构造,包括…句子结构。它也反映了异质性每天遇到的信息推理
  • 迪亚贝利

  • 2篇参考文献[SW19454 ]
  • Diabelli:A异质性证明系统. 我们提出了Dabeli,一个正式的推理 系统这使得用户…
  • 皮尔洛

  • 4篇参考文献[SW08421]
  • 重写逻辑程序自治系统大量的异质性组件构成了一个数字…需要集成计算工具和推理工具我们提出了一个通用的方法…SCEL,一种最近引入的编程语言系统与大量的组件,与推理
  • 生动的

  • 3篇参考文献[SW01316]
  • 独立于机械化的框架异质性 推理它结合了图示和符号表示和推理…提出了新的形式结构,称为系统国家,这是专门设计用于潜在的建模…不完全信息是一个普遍的特征。异质性解决问题。我们引入一个概念…将一阶关系签名解释为系统状态,并开发一个正式的语义框架…
  • 出口*CBR

  • 2篇参考文献[SW17380]
  • 基于推理(CBR)系统用于医疗诊断。方法:我们的框架提供了模块化的,异质性环境
  • 不透光的

  • 3篇参考文献[SW19457 ]
  • 为实现的提供支持异质性 推理环境,即写参数的环境…包含多种表现形式系统在相同的环境中。框架服务于…
  • 旋涡

  • 11篇参考文献[SW02620]
  • 分布式集成异质性数据库,如那些在万维网上可用的,构成…描述“软”数据库管理的旋涡系统其中支持“相似连接”,基于一定的鲁棒性…作为内置类型的对象,相似性推理作为一个内置的谓词和答案…
  • 科米特

  • 4篇参考文献[SW21352]
  • KOMET:A系统为了整合异质的信息来源。我们提出KMOET,一个体系结构…智能集成异质性信息来源。它是基于一个调解人的想法…推理如概率、模糊、次协调和一定的时间和空间类型推理可扩展型组合系统以外部知识源的嵌入为约束条件。
  • 塞尔-西格玛

  • 11篇参考文献[ SW11232 ]
  • 使用时可能成为障碍异质性 系统. 而且,目前还不清楚…研究了测试矩阵合理的提出了选择。这导致…
  • 斯瓦维

  • 1篇参考文献[SW16986]
  • 可视化软件分析支持分析推理关于软件系统互动视觉界面促进…数百到数千KLoc,从同质到异质性 系统
  • MCMG

  • 1篇参考文献[SW10705]
  • 多CPU、GPU及其内存子系统. 不仅仅是CPU,相对运行频率…共享LLC访问结果异质性核心与展示合理的说明。最后,我们得出结论…
  • 生物电子显微镜

  • 1篇参考文献[SW16813]
  • 高度动态的工作异质性 系统传统EM重建不易处理。然而。。。数万张图片合理的时间一般的数学框架和鲁棒性…
  • PVM琥珀

  • 1篇参考文献[SW21840]
  • 肽、蛋白质和脂质双层系统表明合理的并行效率(70—90%)和计算…阿尔法和HP 735工作站集群异质性这些机器的集群,以及…
  • 程序

  • 1篇参考文献[SW32679]
  • 分析计算复杂性的增加系统给编译器优化带来巨大的负担,需要…具有足够表现力的模型体系结构原因关于这种表示。我们介绍程序-程序图…两个高层次任务的探讨异质性设备映射和程序分类-设置新状态…
  • MATLAB

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 抱怨

  • 359篇参考文献[SW0610]
  • 由专家制作,用于多种品种…
  • 挑剔

  • 53篇参考文献[SW0622]
  • NITPICK是伊莎贝尔/霍尔的反例发生器。