• 数据日志

  • 引用279篇文章[sw20023]
  • 数据日志是一个声明性的逻辑语法上是Prolog的一个子集的程序设计语言。。。在中找到新应用程序数据集成、信息提取、联网、程序分析、安全和云计算。。。起源可以追溯到逻辑编程,但它变得很突出。。。
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • 用户提供的属性逻辑. JPAX还可以分析程序。。。错误,如死锁和数据比赛。同时性分析不需要用户提供的规范。。。每个人都在表演分析,例如逻辑验证。。。死锁分析以及数据比赛分析. 世俗的逻辑规格可以制定。。。
  • TVLA公司

  • 引用32篇文章[sw09878]
  • 其中使用符合逻辑的公式。TVLA已在Java中实现。。。用来做造型分析关于程序操纵链接数据结构(单联和双联。。。
  • 马德姆

  • 参考117篇文章[SW484号文件]
  • 复杂比例评估(COPRAS),灰色关联分析(GRA)、实用添加剂(UTA)和有序加权。。。属性数据决策矩阵。这些方法逻辑要转换。。。
  • 猛虎

  • 引用了40篇文章[sw11689]
  • Gallier和S.Raatz,J。逻辑程序。4119-155(1987;Zbl 0641.68145)]。现在。。。论文连同一份详细的分析必要的数据结构。。。
  • 比例尺6.2

  • 引用5篇文章[sw18190]
  • 要控制的文件符合逻辑的流量分析.数据在个体之间传递计算。。。
  • 古哈

  • 参考6篇文章[sw27859]
  • 从一个主要的符合逻辑的探索系统的方法数据 分析年内。。。
  • mlf公司

  • 1条引用[sw22710]
  • 主要目的数据 分析. 模糊的逻辑是其关键技术之一。框架。。。为用户提供不可预见的数据. 算法具有很强的参数化能力。鉴于此。。。
  • 数据-MOCCA

  • 参考7篇文章[sw11280号]
  • 呼叫中心模型分析. 本文件描述了数据-已经开发的模型。。。促进基于个人通话的统计分析数据从呼叫中心。模型会。。。多节点(即符合逻辑的和/或物理组件。。。
  • THF0型

  • 在14篇文章中引用[sw03310]
  • 语言,添加了更高阶的语法逻辑. 在第一个。。。格式数据例如,解析工具、漂亮的打印工具、系统测试和结果分析,(见章节。。。
  • 基马

  • 引用3篇文章[SW97089号]
  • 基于分析在调试concurrent的过程中起到了基础性的作用逻辑程序。。。建立通信协议的一致性和数据类型。模式/类型分析现代公寓。。。
  • 康涅普

  • 引用2篇文章[sw06723]
  • 工具数据 分析基于形式概念分析形式概念分析是一个有用的。。。代表的工具符合逻辑的数据集的含义,分析隐藏在背后的地下知识。。。大量数据. 数据库关系可以看作是一个多值上下文。。。
  • 简洁

  • 引用5篇文章[sw09703]
  • 简洁的解算器套件提供两个分析求解引擎数据以及控制流问题的表达。。。一级大碎片逻辑. 解算器被证明是有用的。。。
  • CDAO商店

  • 引用4篇文章[sw06415]
  • CDAOstore:一个使用逻辑编程和网络服务CDAOStore是一个门户。。。数据以及与进化生物学和系统发生学研究相关的元数据分析... 形式本体论(比较数据 分析本体),一种XML交换格式(NeXML。。。标准web技术和逻辑编程技术。特别是,我们使用了Prolog。。。
  • 角砾岩

  • 1条引用[sw31708号]
  • 数据 分析. 地理空间情报分析信息的多源组合符合逻辑的... 物理或其他过程),以及传感器数据(作为传感器的测量值)。每种形式。。。地理空间情报分析接收人类信息的系统(如符合逻辑的句子),模拟(例如,天气。。。基于新概率的用户查询逻辑系统决定一个连贯的整体反应。。。
  • VERIFAI公司

  • 1条引用[sw32550]
  • 暂时的-逻辑证伪,基于模型的系统模糊测试,参数综合,反例分析,和数据...
  • i-立方体

  • 引用3篇文章[sw01260]
  • 带注释的树。特定兴趣领域和数据原始HTML文档中的内容。。。分析以及根据基于脚本的用户定义调用的表示规则逻辑...
  • VeriStar公司

  • 引用3篇文章[sw09393]
  • 逻辑C小调。端到端,我们的意思是分析... 蕴涵和使用高度调整的验证函数数据结构。模块化是指VeriStar。。。很容易被移植到其他分离的地方逻辑学...
  • 鲁巴托

  • 引用3篇文章[sw11040]
  • 具体任务,如分析、组成、性能和符合逻辑的或者几何运算。这样一个部件。。。基于宇宙的交换数据去噪器的格式。在一个国际组织的支持下。。。