• 蟒蛇

  • 引用于1154篇文章[sw14460]
  • 广泛使用的高级通用型,解释动态程序设计语言。它的设计理念强调代码。。。大型综合标准库。蟒蛇口译员可在许多操作系统上安装。。。不需要安装Python口译译员. (维基百科。。。
  • 麦考拉2

  • 第1576条引用[sw00537]
  • 可通过通用高级解释具有强大调试器支持的用户语言。。。
  • AdaBoost.MH版

  • 引用433篇文章[sw08517]
  • 框架。我们研究的模型可以是解释作为一个广泛而抽象的延伸。。。
  • 国际实验室

  • 引用407篇文章[sw04004]
  • 求和、点积和矩阵向量残差(解释,参考实现,慢)多精度区间算法。。。
  • Isar

  • 引用138篇文章[sw04599]
  • 通过Isar/VM立即“可执行”口译译员. 与现有的陈述性定理证明系统相比。。。战术脚本。Isabelle/Isar系统提供口译译员对于Isar的正式证明文件语言。。。在单个步骤中执行,所以基本上口译译员已经生成了验证文本调试器。。。
  • 撒谎

  • 在146篇文章中引用[sw01075]
  • 功能。这些命令由口译译员内置在软件包中并通过。。。代表大约100个数学函数的程序。这个口译译员提供解释操作的在线设施。。。
  • 亚当

  • 在194篇文章中引用【sw22205】
  • 稀疏渐变。超参数具有直观性解释通常只需要很少的调整。一些连接。。。
  • 果洛语

  • 在169篇文章中引用[sw02159]
  • 逻辑程序设计语言GOLOG口译译员自动维护动态的显式表示。。。
  • 轮廓

  • 引用158篇文章[sw03705]
  • 轮廓:图形化的辅助解释以及聚类分析的验证。。。
  • 塞萨尔

  • 在154篇文章中引用[sw08510]
  • 描述程序的自动翻译解释用Petri网表示它并对每一个进行评估。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 程序切片和用户可扩展抽象解释组件用于自定义程序。。。
  • 鱼子酱

  • 参考文献133篇[sw04424]
  • 金融机构使用的市场风险。口译VaR作为未来投资组合的分位数。。。
  • 提洛尔人

  • 引用89篇文章[sw07830]
  • 顺序,字典路径顺序,循环检测,矩阵解释,多项式解释,预测标记,递归SCC,根。。。
  • MIM公司

  • 引用120篇文章[sw26139]
  • 当图形模型给出一个解释. 这本书将提供一个有用的介绍。。。
  • 濑户

  • 引用了119篇文章[sw00707]
  • 完成。SETHEO可以用作口译译员对于编程语言LOP(正在开发中。。。
  • 阿斯特里

  • 在111篇文章中引用[sw13704]
  • ASTREç分析仪。ASTRçE是一个抽象的解释-基于静态程序分析器的自动证明。。。
  • ProbLog公司

  • 引用了77篇文章[sw06945]
  • 从蕴涵中学习和从中学习解释设置。ProbLog1还支持决策理论推理。问题2。。。支持参数学习解释正在设置。。。
  • VTK公司

  • 引用94篇文章[sw10593]
  • 类库及若干解释接口层包括Tcl/Tk、Java和Python。厨房,谁的团队。。。
  • 鳞片

  • 引用93篇文章[sw08453]
  • 算法及其实现解释割线方程的。。。
  • 围裙

  • 引用66篇文章[sw00045]
  • 抽象程序的数值变量解释. 它的目标有三个:为分析实现者提供。。。传播抽象知识的演示工具解释...