• SLMC公司

  • 参考第70条[sw04604]
  • 并发系统的动态模型检验空间 逻辑规范。这个空间 逻辑模型检查器。。。结构特性表示为空间 逻辑凯里斯和卡德利的合作。正在检查模型。。。拓扑,这是至关重要的空间特性和结构动力学。SLMC。。。
  • 迪代尔

  • 在10篇文章中引用[sw17368号文件]
  • 表示和操纵空间物体。DEDALE依靠符合逻辑的基于线性的模型。。。KKR90]。在经典模型中,空间数据总是被分解成凸的。。。实际应用的需要。这个符合逻辑的代表空间数据虽然稍贵一些。。。
  • 血液

  • 引用2篇文章[sw29433]
  • UMinho Haskell图书馆。我们重新使用空间 逻辑UCheck项目的算法来发现。。。
  • 空间雅普

  • 引用2篇文章【sw13884】
  • 空间-耶:A逻辑-基于地理信息系统。耦合演绎数据库系统连接在一起逻辑... 有趣且增长迅速的是空间数据。在本文中我们描述。。。空间数据挖掘。我们特别描述了这种方法的应用逻辑-动力地理。。。
  • 科梅特

  • 引用4篇文章[sw21352]
  • 集成或数据不一致解决方案。使用带注释的逻辑KOMET能够表演各种常见的。。。次一致性和某些类型的时间和空间推理。结合可扩展类型。。。
  • 肩带

  • 引用4篇文章[sw13305]
  • 携带授权、临时和动态策略、身份验证,空间分布和信息流。实施。。。授权的语法和证明逻辑Garg和Pfenning的BL${0}$,使用dependent。。。
  • 城市

  • 引用4篇文章[sw11954]
  • 高时空分辨率空间城市规划决策。城市。。。模型开发人员专注于实现模型逻辑而不是开发一个完整的独立的。。。
  • 名声

  • 1条引用[sw35158]
  • 这个选择是由一个模糊的逻辑引擎,根据贡献。。。具有多项式复杂度的有效密度估计,称为空间扩展偏差(SSD)。我们的建议如下。。。
  • 普林尼

  • 1条引用[sw09902]
  • 概率逻辑程序设计语言PLINI(概率逻辑对于不一致的新闻信息)其中用户。。。解释了数字、时间和空间新闻中出现的术语。我们开发。。。
  • 彪马

  • 1条引用【sw35257】
  • 数字能源效率的基本限制逻辑. 他们已经被证明是有效的。。。要运行数千个复杂的工作负载空间核心。我们已经开发了一个详细的架构。。。
  • 男爵

  • 引用308篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 差距

  • 引用2800篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 莱达

  • 引用259篇文章[sw00509]
  • 在计算机科学的核心领域——数据结构。。。
  • 麦考拉2

  • 在1621篇文章中引用[sw00537]
  • 一个致力于支持Macaulay2系统的软件。。。
  • 数学软件

  • 引用5817篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用527篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。