• ASMKEY

  • 6篇参考文献[SW25427 ]
  • 抽象安全逻辑状态 机器. 我们延伸抽象逻辑状态 机器
  • 洛伊

  • 2篇参考文献[SW29 143]
  • 进行太空探索扩展有限的状态 机器并使用标号转换图…语义验证器扩展有限的状态 机器关联互动状态勘探工具…
  • 运输

  • 5篇参考文献[SW28 64]
  • 传统沟通模式扩展有限的状态-机器(EFSM),以及高阶不变量…
  • JSXM

  • 2篇参考文献[SW150 41]
  • 强大的造型形式主义延伸有限的状态 机器具有内存(数据)的结构和功能…
  • 拉利布

  • 1篇参考文献[SW16256]
  • 寄存器自动机(一种形式)扩展有限的状态 机器RALIB是在Apache下授权的…Bengt Jonsson,Bernhard Steffen:学习扩展有限的状态 机器. SEFM…
  • 蒸汽

  • 6篇参考文献[SW071987 ]
  • 并行程序,我们有扩展现有的虚拟机器对于C++,包括多线程…不同的动态勘探算法状态描述错误报告能力和长度…
  • 开放式网络管理系统

  • 5篇参考文献[SW26505]
  • 开放源码(MIT)神经活动机器翻译和神经序列建模。自发射以来…容易延伸在保持效率的同时状态-艺术的准确性…
  • 小木屋

  • 1篇参考文献[ SW0947 7]
  • 模型抽象化状态 机器(ASM)由ASM模拟器转换成…面向对象的转换系统(OOTS UML)。这个扩展对象约束语言(EOCL)被解释…小的可能子集必要时,已经融入了工具…
  • 古尔斯

  • 3篇参考文献[SW10895]
  • 延伸用于有效监督学习的软件库。古尔斯的目标是机器学习实践者…专家。它提供了一个数字状态-中型和大型的艺术训练策略…
  • 矿石

  • 2篇参考文献[SW24975 ]
  • 本体论。状态本体调试和监督中的最先进的方法机器学习形式…矿石的基础和适应或扩展以便在实践中很好地工作…
  • 芒戈

  • 1篇参考文献[SW3023 7]
  • 延伸具有类型状态定义的Java,它允许类与状态 机器定义。。。
  • 岩浆口感

  • 4篇参考文献[SW28 716]
  • 机器用于人工智能的语言。本文描述了岩浆扩展提出了LISP系统…处女形式,让用户可以状态他自己的修剪技术,选择…将LISP视为“机器语言“。岩浆LISP的思想…
  • 利帕斯

  • 2篇参考文献[SW3255]
  • 有限算法状态以及分立器件。语言是自我的。延伸自我编译…为母语编写的最小翻译程序机器环境强烈推荐专业键盘映射…
  • 珂莱欧

  • 2篇参考文献[SW24049 ]
  • 超有限理想的符号执行机器. 扩展摘要)定理证明器,称为CLIO,提供…程序在某些初始阶段开始状态. 前和后条件下的初始和最终…
  • 卡利班

  • 2篇参考文献[SW24051]
  • 超有限理想的符号执行机器. 扩展摘要)通过一个程序验证了…程序在某些初始阶段开始状态. 前和后条件下的初始和最终…
  • JKELNELN机

  • 2篇参考文献[SW10890]
  • JKernelmachines:一个简单的内核框架机器. JKELNELMENT是一个用于学习的Java库。应用我们提供了几个内核状态计算机艺术分类性能…图书馆很容易扩展用新内核。标准SVM优化算法是可用的…
  • 吉克斯洛夫

  • 4篇参考文献[SW079]
  • 这允许应用程序轻松捕获状态一个运行线程,使…虚拟Java机器源代码,但简单延伸具有完整Java包的JKESRVM功能…
  • 塞拉皮

  • 1篇参考文献[ SW323 14]
  • 当前SerAPI,一个库和协议机器与COQ认证助理友好沟通…访问术语表示、证明状态和一个扩展文件建议书。SerAPI是工作的…
  • FSCNMF

  • 1篇参考文献[SW32647 ]
  • 电流中每个节点的内容状态-最先进的网络嵌入方法…最好的可能程度。我们进一步延伸基本的FSCNMF到一种先进的方法,即FSCNMF…不同类型的世界信息网络机器学习应用,如节点聚类,可视化…代表网络明显优于状态-最先进的算法和改进…
  • 羚羊

  • 2篇参考文献[SW24050]
  • 超有限理想的符号执行机器. 扩展摘要)。本文介绍了艾莉尔,一个程序验证…超有限理想机器超有限理想机器是一个过渡系统,其中一些…程序通用核实按理想机器我们指的是一个提供…的过渡系统。系统可以被认为是理想的机器量身定做…