• 证明力

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

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

  • 引用4篇文章[sw37750]
  • HIN2Vec,旨在捕捉富人语义学 嵌入的在HINs中,利用不同的类型。。。
  • PLM公司

  • 引用3篇文章[sw38031]
  • 数学。我们的目标理论嵌入如章节所述。。。基于a语义的Aczel模型的表示。。。从而支持浅层的概念语义的 嵌入逻辑系统。。。
  • 公司证书

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

  • 引用5篇文章[sw37756]
  • 算法。这个低维嵌入不仅保护了语义的文字和文件的接近。。。基于卷积神经网络的预测文本嵌入是可比的或更有效的,更。。。
  • 元路径2VEC

  • 参考6篇文章[sw37749]
  • 节点嵌入. metapath2vec++模型进一步支持对语义的相关性。。。只比最先进的嵌入各种异构网络挖掘任务的模型,例如。。。搜索,也能辨别结构和语义的不同网络对象之间的关联。。。
  • HOL-OCL公司

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

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

  • 引用2篇文章[sw36204]
  • 斯伯特,句子伯特:句子嵌入使用暹罗伯特网络。伯特(德夫林。。。在句子对回归任务中的表现语义的文本相似性(STS)。然而,它要求。。。导出三重态网络结构语义上有意义的句子嵌入可以用余弦来比较。。。
  • 纳萨里

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

  • 引用3篇文章[sw39072]
  • 以自下而上、基于零件的几何图形嵌入模型。我们提供一个无盒底。。。模型。提出的PersonLab模型可以同时解决这两个问题语义的-层次推理和对象部件关联使用。。。部分诱导几何嵌入允许我们关联的描述符语义的人物像素与他们的。。。
  • dypro公司

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

  • 1条引用【sw35777】
  • 词中的偏见嵌入. 非语境词嵌入模型已经被证明继承了人类。。。同时保持句法和语义的效用嵌入完整的。本文描述了公平嵌入...
  • 大都市

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

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

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

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

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