• 蒂姆布克

  • 46篇参考文献[SW06351]
  • 基于项重写的可达性系统为了操纵自动机(自底向上的非确定性有限…基本操作自动机、字母、术语、术语重写系统
  • GF

  • 32篇参考文献[SW13667 ]
  • 用于线性化语法解析字符串。GF可以描述两种形式的…形式语言。语法对象有一种类型系统,这有助于消除运行时错误…也可用于创作系统,在哪里语法在交互式编辑器中构建…
  • 模糊FTA

  • 6篇参考文献[SW12421]
  • FuzzyFTA:一个模糊的错误 系统不确定度分析。本文介绍了一种新的方法…计算的系统Fuffi-FTA在故障可靠性分析中的应用模糊逻辑。一些措施…不确定性贡献的每一个系统. 模糊FTA系统包括算法考虑…
  • 阿斯特拉

  • 12篇参考文献[SW0052]
  • 故障分析(FTA)是一种形式化的演绎技术,允许调查可能的原因…不需要的系统国家,被称为顶级赛事。这样做,这些状态是相关联的…
  • CGAL

  • 320篇参考文献[SW0118]
  • 计算机辅助设计与建模,地理信息系统,分子生物学,医学成像,机器人学和运动…搜索结构(KD)最近邻搜索,范围和分段插值(自然…
  • 莫克斯

  • 8篇参考文献[SW12553]
  • A的布尔失效逻辑系统叫做故障和控制参数指定…要获得的长度MOCUS确定系统失效模式,或最小割集…系统成功模式,或最小路径集。莫卡斯使用断层的直接分辨率
  • 树镜

  • 12篇参考文献[SW21230]
  • 需要软件来可视化和编辑系统发育,对于越来越大的数据集,这样…主要经营系统. 虽然大量可视化工具是免费提供的,一些…特点,或者局限于小只含有成千上万的类群…适用于所有常用操作系统. 结果:我们开发了一个新的程序,Dendroscope…
  • 普雷特/基特

  • 4篇参考文献[SW1254]
  • 获得系统来自A的可靠性信息系统过错. PREP程序找到最小值…最小路径集系统过错. (最小割集是最小的…组件同时失败系统失败了。最小路径集是最小的…
  • 巴塞罗

  • 6篇参考文献[SW17174]
  • 在决策中组织不同的支持向量机. 这个系统利用来自…的信息
  • 木材

  • 20篇参考文献[ SW023 27 ]
  • 密歇根这个系统基于一个操作的体代数并原生存储…这就是智力的主要贡献系统是一个全面设置一次…
  • 费曼图

  • 101篇参考文献[ SW064 74 ]
  • 可能产生的Sepp-Ku BrBek标准模型中的一级和一环图…拓扑编辑平台。计算机代数系统
  • 树叶快照

  • 5篇参考文献[SW15540]
  • 使用自动视觉识别。这个系统被称为叶蝉从他们的照片物种…树叶。关键系统是计算机视觉组件丢弃非叶图像,分割…在美国东北部。我们的系统获得最先进的性能…
  • Lisp

  • 124篇参考文献[SW07201]
  • 开创了计算机科学的许多思想,包括数据结构,自动存储管理,动态分型…数据结构,产生宏观系统允许程序员创建新的语法…
  • 德米克斯

  • 21篇参考文献[SW0196]
  • 计算多项式的所有孤立零点系统采用多面体同伦延拓方法。值得注意的…动态枚举的构造寻找所有混合细胞。动态枚举法…Takeda和Kojima的完全混合多项式系统推广到半混合系统
  • 贾斯塔德

  • 23篇参考文献[ SW01700 ]
  • 系统. 我们描述了JastAdd,一个基于Java的系统编译器编译。JastAdd以…为中心。抽象语法的面向对象表示可以使用参考变量…将不同部分连接在一起. JASTADD支持声明性技术的组合(使用…替代访问者模式。贾斯塔德系统独立于底层解析技术…
  • 二叉树

  • 4篇参考文献[SW1251]
  • 模型已经发展成为计算机分析的辅助工具。系统. 这样…过错软硬件容错分析系统能力…解决动态和静态故障并适用于分析…复杂计算机环境下的软件与人性化系统
  • 苏打水

  • 55篇参考文献[SW085]
  • SODAS软件。符号官方数据分析系统是一个模块化的软件,其中每个…分量分析、直方图和初等统计、分段对于分层数据,决策
  • 天狼星

  • 9篇参考文献[SW22498]
  • 通讯文件系统ShurUS使用哈希来支持新鲜度保证结构。天狼星包含…在密码文件中随机存取文件系统不使用块服务器…
  • DTLS

  • 1篇参考文献[SW13653]
  • 决定学习系统. 本文描述了一台计算机。系统--决策学习系统(DTLS…学习决策处理任何SQL兼容数据库。发达国家系统友好、可信…利用决策模型对数据库中的知识进行建模方法论DTLS支持三…最流行的决定算法:C4.5、ID3和CART。这个系统也支持…
  • 网络搜索

  • 19篇参考文献[SW0312]
  • 系统能够根据其功能结构(表达式)进行爬行、索引和查询表达式