• JBool公司

  • 引用100篇文章[sw06185]
  • 处理、编辑和计算(开)布尔型 功能由联合规范形式定义(小句。。。分离的。布尔型 功能:理论,算法和应用,Y。克拉马和P.L。哈默。。。
  • 乌克利德

  • 引用25篇文章[sw04657]
  • 具有整数变量的状态系统,布尔型,功能,和数组类型。有两个主要的。。。
  • 得到

  • 引用64篇文章[sw02964]
  • 处理代数变量、表达式、方程,功能和矩阵,和布尔型像科学计算器一样的表达式。。。
  • 最小最大卫星

  • 在34篇文章中引用【sw09732】
  • 也是假的-布尔型客观的功能和约束条件。它的主要特点是:学习和回跳。。。
  • HiTag2

  • 引用9篇文章[sw14133]
  • 非线性滤波。它使用一个布尔型 功能20个变量作为它的非线性滤波器。。。一个5变量的层组成布尔型 功能五个四变量布尔型 功能... 两层结构布尔型 功能在Hitag2。然后我们研究一些一般性质。。。
  • 零点

  • 引用了20篇文章[sw26438]
  • 求a的零功能:Algol 60型布尔型程序调零,调零。。。
  • 肺吸虫

  • 参考7篇文章[SW878号文件]
  • 现在,普希内拉可以传播概率,信仰功能,布尔型价值观和可能性。而且,普希内拉可以。。。
  • 罗布德

  • 引用4篇文章[sw21204]
  • 包裹。有效操纵布尔型 功能是许多计算机辅助设计的重要组成部分。。。本文描述了一个操作包布尔型 功能基于简化的,有序的,二元决策。。。
  • CGAL公司

  • 引用335篇文章[sw00118]
  • 多边形(布尔型操作,偏移,直骨架),多面体(布尔型操作),曲线的排列及其应用。。。提供几何对象生成器和空间排序功能,以及矩阵搜索框架。。。
  • 锡勒克

  • 引用5篇文章[sw23569]
  • 可用的方法依赖于布尔型 功能表示,例如,真值表或决策。。。
  • VBF公司

  • 引用2篇文章【sw20673】
  • 向量C++类库布尔型 功能在密码学中。VBF是一个集合。。。为分析向量而设计的类布尔型 功能(功能那张地图布尔型矢量到另一个。。。密码学。表示向量的类布尔型 功能可以由几种可选类型初始化。。。砌砖(矢量的并行应用布尔型 功能在Rijndael密码中使用),加上坐标。。。
  • 公牛

  • 引用2篇文章【sw09912】
  • 学习算法库布尔型 功能. 我们展示工具公牛(布尔型 功能学习。。。学习算法的可用实现布尔型 功能. 该工具是用C语言实现的。。。实验结果表明,该方法具有显著的优点布尔型 功能学习所有变体的算法。。。
  • 次生质

  • 引用4篇文章[sw12542号]
  • 事件树因为这样的树表示布尔型 功能这些概念可以应用在。。。
  • 提示

  • 引用3篇文章[sw27284]
  • 方法的灵感来自布尔型 功能开关电路设计之分解法。。。
  • 公平竞赛

  • 参考11篇文章[sw11926]
  • 系统编译功能描述为布尔型电路,并执行分布式。。。
  • CBEAM公司

  • 引用2篇文章[sw15633]
  • 盒。这些小说功能具有令人惊讶的特性;许多表现出内在的软弱(布尔型电路)单向。。。单5×1位布尔型 功能. 这个简单的非线性功能用来建造。。。
  • jscl介质

  • 引用2篇文章[sw05526]
  • 矩阵,因式分解,导数,积分(有理功能),布尔型代数,简化,MathML输出,Java代码生成。。。
  • 酒泉

  • 1条引用[sw20674]
  • boolfun包:加密布尔型 功能. 此包可用于评估加密属性。。。布尔型 功能如非线性、代数免疫性、弹性等。。。它还实现了功能处理。。。
  • 数学5

  • 引用44篇文章[sw09569]
  • 理论和它们的结合,提供了许多功能(例如,unsat核心、插值、AllSMT)。数学5。。。浮点;第三,声音SAT风格布尔型SMT公式的公式预处理;最后,一个框架。。。