• 数据记录仪

  • 275篇参考文献[ SW200 23 ]
  • DATALOG是一种声明性的。逻辑语法上的编程语言是PROlog的子集…发现新的应用数据集成、信息抽取、网络化、程序化分析,安全和云计算…起源可以追溯到逻辑编程,但它变得突出…
  • JPAX

  • 29篇参考文献[SW09906]
  • 在时间上制定的用户提供的属性逻辑. JPAX还可以分析程序…死锁等错误数据种族。并发性分析不需要用户提供的规范…各执行一个专门的分析,如时间逻辑验证。。。死锁分析以及数据种族分析. 世俗的逻辑规格可以制定…
  • TVLA

  • 31篇参考文献[ SW0988]
  • 其中使用操作语义指定符合逻辑的公式。TVLA已经在Java中实现了…用于执行形状分析关于操作链接的程序数据结构(单独和双联)
  • 多媒体数据库管理系统

  • 117篇参考文献[SW0644]
  • 复杂比例评价(Copras)灰色关联分析(GRA),实用添加剂(UTA)和有序加权…属性数据决策矩阵。这些方法使用模糊逻辑转换…
  • 勒图尔

  • 39篇参考文献[SW11689]
  • 加利尔和S·拉兹,J.逻辑程序4,119-155(1987;ZBL 641.68145)]。现在…详细的纸分析必要的数据结构。。。
  • 量表6.2

  • 5篇参考文献[SW18190]
  • 控制文件符合逻辑的分析.数据在个体计算之间传递…
  • 古哈

  • 6篇参考文献[SW27 89]
  • 从一个主要符合逻辑的探索系统的方法数据 分析多年来…
  • 马尔可夫随机场

  • 1篇参考文献[SW21710]
  • 主要目的数据 分析. 模糊的逻辑是其关键技术之一。框架…给用户不可预见的洞察数据. 算法是高度参数化的。鉴于此…
  • 数据MOCA

  • 7篇参考文献[SW11280]
  • 呼叫中心模型分析. 本文档描述了数据-已经开发的模型…基于个人呼叫促进统计分析数据来自呼叫中心。该模型将…多个节点(即,具有多重)符合逻辑的和/或物理组件…
  • THF0

  • 14篇参考文献[SW033 10]
  • 语言,为高阶添加语法逻辑. 在……之间保持一致的风格。格式数据例如解析工具、漂亮的打印工具、系统测试和结果。分析,(见章节…
  • 基马

  • 3篇参考文献[SW08979]
  • 基于分析在调试并发中发挥基础性作用逻辑程序建立通信协议的一致性数据类型模式/类型分析模型平面…
  • 康克斯

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

  • 5篇参考文献[SW09703]
  • 简洁解决方案套件提供两个分析求解引擎数据并表示控制流量问题…一阶大片段逻辑. 解算器被证明是有用的…
  • 光盘库

  • 4篇参考文献[ SW064 15]
  • CDAOstore:系统发育库逻辑编程和Web服务CDOOSt店是一个门户网站…数据与进化生物学和系统发育研究相关的元数据分析形式本体论(比较)数据 分析Ontology,XML交换格式(NeXML)标准Web技术的结合逻辑编程技术。特别是,我们采用PROlog…
  • 角砾

  • 1篇参考文献[ SW31708]
  • 数据 分析. 地理空间情报分析涉及多源信息的组合表达符合逻辑的物理或其他过程)和传感器数据(作为换能器的测量)。每一种形式…地理空间情报分析接收来自人类的信息的系统(AS)符合逻辑的句子),模拟(例如天气)基于新概率的用户查询逻辑确定相干整体响应的系统…
  • 菲洛斯

  • 2篇参考文献[SW08255]
  • 逻辑支持大规模部署的编程技术分析系统发育的数据从…
  • 维里菲

  • 1篇参考文献[ SW32550]
  • 时间-逻辑证伪,基于模型的系统模糊测试,参数综合,反例分析数据
  • I-立方

  • 3篇参考文献[SW01260]
  • 带注释的树特定的兴趣区域和数据在原始HTML文档中的内容…分析和基于脚本的用户定义调用的表示规则逻辑
  • 维里斯塔尔

  • 3篇参考文献[SW0933]
  • 逻辑C小调。通过端到端,我们的意思是静态时分析应用和高调谐验证功能数据结构。通过模块化,我们的意思是VeriStar…易于移植到其他分离逻辑学
  • 卢巴托

  • 3篇参考文献[SW140]
  • 具体任务如分析组成、性能和符合逻辑的或几何运算。这样的组成部分…基于交换的通用性数据标示符格式。国际支持…