• 弗拉塔

  • 15篇参考文献[SW04142]
  • FLATA的功能是:可达性分析非-递归的程序-检查是否有错误控制…状态可达终止分析非-递归的程序-终止条件计算的计算…
  • 锂离子电池

  • 40篇参考文献[SW061515]
  • 凹松弛递归地对于每个中间变量通过间隔分析和麦考密克放松…次梯度元素这些元素是计算出来的。递归地在应用次梯度传播理论的基础上发展起来。
  • 船长

  • 28篇参考文献[SW14783]
  • 时间序列的计算机辅助程序分析识别噪声系统(机长)工具箱。主要地递归的识别、估计、非平稳时间序列的各个重要方面的算法分析
  • 固定袋

  • 4篇参考文献[SW10096]
  • 方法通过固定点的前后条件分析属于递归的袋约束。为了支持更好的精度…
  • VIATRA2

  • 33篇参考文献[SW03511]
  • 语言提供了高级查询结构。递归的图形模式和操纵模型(例如通用)…形式化模型中常用的模型转换分析进行强有力的抽象…
  • 奥林佩卡

  • 3篇参考文献[SW21315]
  • 例行执行主成分等任务分析(PCA)。递归的用PCA更新PCA的算法
  • 超离子

  • 4篇参考文献[SW150 97 ]
  • Hyperion -A递归的超启发式框架。超启发式是用于搜索空间的方法…问题。我们描述了一个面向对象的领域分析对于超启发式的正交分解…生成策略组件。框架有利于递归的超启发式的超启发式实例化…JavaTM类库的实现分析
  • 科斯塔

  • 23篇参考文献[SW0162]
  • 程序执行。执行成本时分析科斯塔产生了一个成本方程系统,它…为了获得封闭的(即,非)递归的形成这种递归关系,表示…不同的可能性范围分析准确性和开销。所有这些,不需要…
  • Na11

  • 4篇参考文献[SW11510]
  • 花键仔细的分析计算复杂性,数值稳定性/不稳定性递归的算法和一些…
  • GNUC

  • 8篇参考文献[SW1269]
  • 分析多方协议。我们的框架被称为“GNUC”(与递归的意思是“GNUC…
  • 雷卡尔

  • 5篇参考文献[SW25816]
  • 确切分析多链封闭排队网络。雷卡尔递归用链算法…提出了。它是建立在新的基础上的。递归的与归一化常数相关的表达式…比卷积或均值高的效率分析算法。因此,该算法扩展了范围。
  • 贾斯塔德

  • 23篇参考文献[ SW01700 ]
  • 模块化为不同的方面,例如名称分析,类型检查,代码生成等,编织…多遍编译。属性求值器(最佳化)递归的评价使用Java实现非常方便。
  • LLWM

  • 8篇参考文献[SW09400 ]
  • 其分量是通过应用递归的关系。使用块脉冲函数…非线性项的系数向量。收敛性分析对LLWM进行了讨论。结果…
  • 斯卡西

  • 11篇参考文献[SW03251]
  • CRISY和SCASY库软件:递归的Sylvester型矩阵方程的阻塞和并行算法…离散时间Sylvester型矩阵方程。这个分析基于CRISY和SCASY软件…块)。另一个成功的办法是联合起来。递归阻塞。我们考虑算法的并行化。
  • 卡玛

  • 9篇参考文献[SW07265]
  • 基于概念的方法可以通过递归的算法和迭代算法。迭代法…有限数据的辨识及其收敛性分析很难,很有挑战性…
  • 诺德克斯奇

  • 1篇参考文献[SW323 46]
  • NodeSketch:高效的图形嵌入递归的素描。嵌入已经成为一个关键的范例…学习图形表示,方便下游图分析任务。现有的图形嵌入技术或样本…技术显示下游图形的次优效率分析任务,与Hamming相似性相比,例如…保持高阶节点接近度的技术递归的素描。具体来说,建…
  • 拉美西斯

  • 24篇参考文献[SW18064 ]
  • 基于树的数据结构允许递归的网格对细胞的精细化…正式决议为81923。收敛性分析不同的量,如暗物质密度…
  • 脑回

  • 7篇参考文献[SW04139]
  • CRISY和SCASY库软件:递归的Sylvester型矩阵方程的阻塞和并行算法…离散时间Sylvester型矩阵方程。这个分析基于CRISY和SCASY软件…块)。另一个成功的办法是联合起来。递归阻塞。我们考虑算法的并行化。
  • 突变株

  • 4篇参考文献[SW01597 ]
  • 支持和改进GIS的声明语言分析. 我们提出的语言MUTACLP,其中空间…约束逻辑程序设计的特点,如递归和约束处理,可以利用…
  • 王牌

  • 8篇参考文献[SW22675 ]
  • 归纳原理,使用预定义库递归的定义随着复杂性…系统用分析排序算法的一种。相关工作和进一步改进…