• OMDOC

  • 80篇参考文献[SW07138]
  • OpenMaX标准允许表现语义各种结构…
  • 喀拉喀托

  • 85篇参考文献[SW03159]
  • 程序建模辅助证明助手语义并进行证明的发展,最后…COQ和A规范表现爪哇语义将Java程序转换成…
  • IF-2.0

  • 46篇参考文献[SW03303]
  • 自动机。特别是这个表现允许我们学习语义实时原语…中间体的静态性质表现防止动态系统的分析。更确切地说,原始的…
  • 杰西姆

  • 10篇参考文献[SW04081]
  • 简洁地表达在新的,语义的 表现并查询与其他文档的局部相似性。
  • 文法矩阵

  • 10篇参考文献[SW21659]
  • 加工与精度分析语义的 表示自然语言理解所必需的…
  • KL-酮

  • 38篇参考文献[SW28 891]
  • 知识族表现从形式上降下来的形式主义语义的网络和框架…
  • CP逻辑

  • 17篇参考文献[SW06947 ]
  • 作为基础研究的动机表现因果知识。因果关系具有内在的…方面,已在语义的在Shafer的框架下…提供方便的逻辑表现为了他的语义的目标第二,这种语言也有相关性…特别是,我们证明了形式化。语义我们语言中的一个理论…
  • 姆巴斯

  • 17篇参考文献[SW0824]
  • 形式化的数学表现允许语义基于分布式数学事实的检索。概念,我们提出了一个发展的方法论表现数学知识库的形式化。我们提议…
  • 纳萨里

  • 4篇参考文献[SW2469]
  • 多语种的知识和语料库统计表现概念和实体。未付的。。。对语言项目有很深的理解,语义的 表现被认为是最基本的…人工智能。因此,语义的 表现一直是研究的重点领域之一。多亏了表现单一统一的语言项目语义的空间
  • 欧米茄

  • 3篇参考文献[SW19624]
  • 这是我们提出的。从这个非正式语义的 表现PLATΩ自动生成相应的形式化表现
  • 总结者

  • 3篇参考文献[SW26528 ]
  • 符号技术,使用解析器,语法,和语义的 表示不要扩展到现实世界…
  • LogiTAT+

  • 5篇参考文献[SW02123]
  • 具有复杂结构的数据表现属于语义的对象之间的关系…编程将致力于表现ISA层次和分类推理…
  • 索赔人

  • 5篇参考文献[SW01795]
  • CurimeKER提供了构建工具的工具语义的网页表现研究论文中的声明…
  • 韦尔夫姆

  • 6篇参考文献[SW1386]
  • 提供机械化的形式语义LLVM中间体表现它的类型系统和性质…交互式定理证明器它包括多个操作语义并证明它们之间的关系以促进…
  • 多胞体

  • 10篇参考文献[ SW01583]
  • 演示描述知识表现多层扩展范式语义的网络(所谓的…版本)。这一知识的基本组成部分表现系统及其与自然语言的关系…
  • n3-逻辑

  • 9篇参考文献[SW03]
  • 描述框架(RDF)语义的Web提供统一表现结构丰富的数据。添加…
  • 梅德波斯特

  • 3篇参考文献[SW0791]
  • MedPost Tagger专门制定的语义的知识表现(SKR)工作。MESTPOST / SKR已经修改了功能…
  • GCLC

  • 28篇参考文献[SW0326]
  • GCLC使用声明的语言GC表现数字和存储数学内容…直接连接视觉和定理的定理证明器语义的具有演绎性质和机器的几何信息…
  • 荷马

  • 5篇参考文献[SW13321]
  • 片段精确化表现他们的游戏语义作为明显的下推自动机…