• 格兰根

  • 引用21篇文章[sw00387]
  • 抽象层次,带有声明性图案 匹配重写,在一个可视化的。。。
  • 奶牛

  • 引用51篇文章[sw06955]
  • 计算,例如异步通信,多段同步,图案 匹配,保护,限定接收和杀死活动,同时。。。编排结构,例如web服务、流以及其他处理程序的错误补偿。。。
  • 图形转换基准

  • 参考11篇文章[sw04099]
  • 由工具提供商实现。万一图表转换基准是唯一可测量的特性,它。。。转,是执行时间图案 匹配以及更新阶段。(注意时间。。。
  • 元理论.jl

  • 1条引用[sw37953]
  • 高级同象性图案 匹配特征。Metatheory.jl的核心特性是e-图表重写。。。
  • 宝石++

  • 引用了0中的文章[sw34184]
  • 这样的匹配通常需要图案认可申请自从图像中提取。。。解决这个类图表 匹配问题。文中还介绍了GEM++,一个软件框架。。。
  • 胎儿

  • 1条引用[sw22668]
  • 元组、构造函数和图案 匹配)配备终端检查器。这个检查器。。。提取出程序文本,调用图表完成并找到词序。。。
  • ModReg公司

  • 引用了0中的文章[sw22759]
  • 典型的物体识别系统依赖于匹配从RGB-D图像中提取的特征。。。多摄像头设置图案投影仪,用于高。。。两点基准板模式正在启用对放置对象的掩码的提取。。。使用图表-从大满贯中衍生出来的技术。所有这些元素的组合。。。
  • ACL2

  • 引用279篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 差距

  • 引用2876篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 高铁

  • 引用270篇文章[sw00418]
  • HSL(以前的哈韦尔子程序库)是一个。。。
  • 拉帕克

  • 在1642篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 莱达

  • 引用261篇文章[sw00509]
  • 在计算机科学的核心领域——数据结构。。。
  • LSQR

  • 参考文献367篇[sw00530]
  • 算法583:LSQR:稀疏线性方程组和最小。。。