• 证明力

  • 在56篇文章中引用[sw06339]
  • 用Z语言证明语义的 嵌入从Z到HOL。DAZ工具支持。。。
  • 伊莎贝尔/马戏团

  • 引用13篇文章[sw15208]
  • 机器检查,正式语义学基于“浅层嵌入“在伊莎贝尔/UTP的马戏团(我们的语义的...
  • 公司证书

  • 引用42篇文章[sw09737]
  • 验证可用于关键嵌入的软件。这类经过验证的编译器附带。。。代码的行为与语义学源程序的。通过裁决。。。
  • HOL-OCL公司

  • 引用21篇文章[SW734号文件]
  • 基于从嵌入对象约束语言。。。一个正式的设计问题语义学OCL的。Thecs。。。
  • 变速器

  • 引用2篇文章[sw34443]
  • 知识图嵌入. 最近,知识图嵌入它将符号实体和关系投射到连续的。。。解决了多重关系的一个新问题语义学一种关系可能有多种含义。。。混合模型嵌入,变速器。新模型可以发现潜在的语义学为了一个关系。。。知识图嵌入,能够处理多种关系语义学. 大量实验表明。。。
  • 纳萨里

  • 引用4篇文章[sw24669]
  • 单一统一语义的空间和关节嵌入的分别是空间。此外,我们的陈述。。。
  • dypro公司

  • 参考第1条[sw28851号文件]
  • 程序的精确表示语义学. 神经程序嵌入显示出有助于分析的潜力。。。神经体系结构以学习程序为荣语义学而不是表面的句法特征。然而。。。
  • 大都市

  • 17条引用[sw16265]
  • 实施任务嵌入的软件设计。什么时候?嵌入的软件达到了今天典型的复杂性。。。挑战。基于形式化的元模型语义学开发人员可以用来捕获设计。。。
  • 进口2VEC

  • 参考第1条[sw28301]
  • 开发合适的学习表征(嵌入)用于捕获语义的图书馆之间的相似性。这样。。。搜索和类比推理。我们用词嵌入自然语言处理技术。。。嵌入在三个大型开源软件上,语料库揭示了库向量的捕获语义上有意义。。。
  • 火山

  • 参考22篇文章【sw30956】
  • 使用支持函数的查询处理运算符。这个语义学没有规定支持功能。。。优化决策直到运行时,例如嵌入的具有自由变量的查询。交换元。。。
  • 坎伦

  • 引用5篇文章[sw20083]
  • 嵌入的在Scheme的纯函数子集中。这个系统有一套理论语义学...
  • TransT公司

  • 引用2篇文章[sw34445]
  • 现有知识图的三倍嵌入向量空间中的实体和关系。。。他们的可能性。然而,他们忽视了语义的大多数知识图表中包含的信息。。。从基于类型的实体语义的相关实体和关系的相似性。。。基于先验分布,我们的方法生成多个嵌入每个实体在不同的上下文中的表示。。。
  • VDM工具

  • 引用2篇文章[sw18244]
  • 分析分布式嵌入的实时系统。VDMTools提供广泛的静态语义学正在检查,自动代码生成。。。
  • 伊莎贝尔/UTP

  • 在10篇文章中引用[sw21184]
  • 语义学. 我们的贡献首先是语义的UTP的字母谓词模型,支持。。。浅显与深层语言的调和嵌入...
  • 苹果汁

  • 引用4篇文章[sw00126]
  • 图的结构和意图语义学. 我们提供苹果酒。苹果酒是一种普通成分。。。设计简单的系统嵌入的在Java应用程序中。它提供自动解释。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • 提供实时重写格式语义学实时模型转换,并显示。。。验证基于模型的实时和嵌入的使用图形的Eclipse建模框架中的系统。。。
  • 图形blp

  • 参考第1条[sw32533]
  • DBLP数据通过语义的通过word计算关键词相似度-嵌入. 在本文中,我们讨论。。。
  • QWire公司

  • 引用4篇文章【sw20268】
  • 组织良好,运作良好语义学把电路缩小到一个小的。。。高度模块化嵌入的变成一个任意的宿主语言来处理电路。。。
  • mbeddr

  • 引用2篇文章[sw22663]
  • C的扩展,构造足够嵌入的系统。在mbeddr中,高效的低级程序。。。关于语法、类型系统的模块化语言扩展,语义学和IDE。我们在报纸上看到。。。语言扩展可以解决嵌入的软件开发和经验报告。。。