• 谋略

  • 1条引用[sw09813]
  • 战略:一种通用Petri网验证框架. 在本文中,我们提出了通用扩展策略。。。用于Petri分析的工具以及其他并发模型。。。成为验证框架对于不同的Petri变量通过分离语义。。。
  • 收益

  • 1条引用[sw33872]
  • 改编著名的生成性对手(甘)框架. 因此,我们称我们的方法生成。。。
  • 穆尔克纳普

  • 引用36篇[sw06467]
  • 这样可以最大限度地利润总额。我们称之为预算。。。大小。下一步,在树枝和边界框架,我们利用拉格朗日乘子。。。
  • 接入/CPN

  • 参考6篇文章[sw02024]
  • 接入/CPN框架与CPN交互的工具。有色Petri...或CPNs)是描述并发系统的一种广泛使用的形式主义。CPN工具提供。。。本文提出了Access/CPN,a框架这有助于此类扩展。Access/CPN包括。。。
  • C4ISR系统

  • 1条引用[sw02051]
  • 以数据为中心框架本文介绍了一个网络中心数据系统的C4ISR软件。。。独立于协议、符合标准和启用C4ISR软件框架设想中。。。
  • 尖峰

  • 参考7篇文章[sw14765]
  • 包括非稀疏正则化,如弹性-和$ell{p}$-范数正则化。正在扩展SpicyMKL。。。一般正则化的有效优化方法框架. 实验结果表明,我们的算法具有很好的鲁棒性。。。
  • WFPDL公司

  • 引用2篇文章[sw02868]
  • 动态服务外包规范:来自Petri网到ebXML和WFPDL服务外包。。。提出三级工艺规范框架基于动态合同的服务外包。这个。。。框架将两个过程规范级别关联到第三个概念级别。Petri网... 工作流管理技术。我们展示了框架可以放在上下文中。。。
  • 丙二醇

  • 引用2篇文章[sw00694]
  • 一种新的多形式建模的基础框架. 在本文中,我们介绍了PDETool,它。。。实现了一些有用的Petri扩展如随机Petri(SPN。。。随机报酬(SRN)和随机活动网络(SAN)框架. PDETool很容易。。。
  • PNTooL公司

  • 引用2篇文章[sw13754]
  • 为基本Petri开发的标准PNML格式变体[5]。此外,PNTs可以被可视化。。。框架SNAKES的目标是快速原型化新Petri类。。。
  • 深水

  • 引用8篇文章[sw31217]
  • 池,一种类似于深卷积的结构. 使用密集采样,可以有效地。。。集成到能量最小化的资产框架用于光流估计。高效深流。。。
  • FunArray公司

  • 在14篇文章中引用[sw13708号]
  • 分析是作为一般性的框架参数化的绑定表达式,段。。。基于抽象解释的静态合同检查器。净值. 我们根据经验验证了精度。。。
  • 漏斗

  • 引用2篇文章[sw34200]
  • 时间进程基因集富集分析中的回归分析。结果:我们提出了一个推论框架... 弹性函数的扩张-回归。此外,基因集的假设检验。。。
  • VPM公司

  • 参考11篇文章[sw07364]
  • 可视化、精确和多级元建模框架用来描述数学领域。。。不同语义域的模型(Petri,克里普克自动机,过程代数等)用于形式分析。。。
  • 宇宙

  • 引用5篇文章[sw13329]
  • 验证结果是统一的框架复杂的时间推理自然地混合在一起。。。广义随机Petri网的项净值),一个LHA和一个表示。。。
  • 测听

  • 1条引用[sw33779]
  • 应用框架以C语言编写,基于WPF和。净值它可以实现精确的数字。。。
  • 达布恩

  • 1条引用[sw31494]
  • 最近的开源BNN推断框架,BMXNet,我们的daBNN快7×23倍。。。在双实数上大约快6倍净值18(ResNet的BNN变体。。。dapnn是一个BSD授权推理框架,以及它的源代码,示例项目。。。
  • 郊狼

  • 1条引用[sw07271]
  • 郊狼:一种基于XML的框架对于Web服务测试,Web服务最近受到了极大的关注。。。一些重要的web服务平台。净值现在可以使用。测试和评估。。。提出了一种基于XML的面向对象的测试方法框架Coyote快速测试web服务。郊狼。。。
  • 克内特

  • 在0篇文章中引用[sw31236]
  • Knet(发音为“kay-)是科萨大学的深度学习框架在茱莉亚实施。。。
  • 光谱网

  • 引用3篇文章[sw26161]
  • 可视化。图论提供了一种计算框架用于建模各种数据集,包括。。。网络。结果:两者都可以作为一个独立的。净值作为ASP.NET web应用程序。。。
  • GXNOR网

  • 1条引用[sw32923]
  • GXNOR公司-净值:训练深度神经网络与三元权重和激活没有完全精确记忆。。。在统一离散化下框架. 虽然深度神经网络(DNNs)正在成为一种革命性的力量。。。通过这种方式,我们建立了一个统一的框架包含二元或三元网络。。。网络,称为选通XNOR网络(GXNOR-)因为只有非零事件。。。