• 减少

  • 引用743篇文章[sw00789]
  • 形式多样;自动和用户控制简化表达方式;符号矩阵计算;武断。。。
  • CGAL公司

  • 引用381篇文章[sw00118]
  • 生成,蒙皮曲面),几何处理(曲面网格简化细分和参数化,以及估计。。。
  • 吸血鬼

  • 引用241篇文章[sw02918]
  • 标准冗余标准和简化技术被用来修剪搜索空间。。。
  • 立方公尺

  • 引用了78篇文章[sw04109]
  • 开发用于几何清理和简化处理越来越复杂的预处理任务。。。
  • iProver公司

  • 引用49篇文章[sw09707]
  • 阻止不恰当的实例化和基于命题的简化。除了实例化,iProver还实现了有序。。。
  • 符号数学工具箱

  • 引用了35篇文章[sw08398]
  • 代数,代数和常微分方程,方程简化,以及方程处理。符号数学工具箱允许。。。分析执行微分、积分,简化变换和方程求解。你的计算可以执行。。。
  • 里贾纳

  • 引用了40篇文章[sw04862号文件]
  • 性能。其中包括最重要的简化启发式,数据结构和算法的关键选择。。。
  • 联轴节

  • 引用32篇文章[sw07861]
  • 年。第二个测试用例是简化一个典型的三维近场计算。。。
  • Gstat公司

  • 引用21篇文章[sw04488]
  • 顺序)条件模拟是在(简化通用协克里格模型。任何数字。。。坐标或所谓的外部漂移变量)。简化这个模型包括普通和简单。。。
  • 毕业生

  • 引用了29篇文章[sw06711]
  • 就像万维网一样简单化互联网上的信息共享。毕业生们。。。
  • 谷神星

  • 引用了20篇文章[sw09442]
  • 提取Herbrand序列和简化这些序列的方法。我们证明了赫伯兰顺序。。。提取和简化通过一个数学例子。。。
  • 库布斯

  • 引用24篇文章[sw09580]
  • 逻辑。这个过程是基于非语言的简化将公式简化为命题的技巧。。。
  • 地质有限元

  • 参考22篇文章[sw00338]
  • 价格合理的油田。多边形简化提出了一种新的传输方案。。。
  • 协处理器

  • 在14篇文章中引用[sw16739]
  • 实现几乎所有当前已知的简化技术在一个模块化的方式,并提供访问。。。也可以,并且可以应用简化也可用于增量SAT求解。实验表明。。。
  • 麦克里普顿

  • 引用19篇文章[sw09729]
  • Crypton的体系结构,但需要重新设计和简化每一个组件的功能,使很多。。。
  • 传感器

  • 参考12篇文章[sw00055]
  • 张量还原程序简化.问题性质:简化张量表达式包含。。。
  • 图像时间1d

  • 引用16条[sw22221]
  • 空间变量,Fortran 90/95版本提供了一些简化在Fortran 77程序中,这些。。。
  • 伊杜

  • 引用15篇文章[sw18628]
  • 空间变量,Fortran 90/95版本提供了一些简化在Fortran 77程序中,这些。。。
  • NodeXL公司

  • 参考7篇文章[sw04183]
  • 衍生见解:过滤、聚类、分组和简化网络分析的重要性与日俱增。。。有效过滤、聚类、分组和简化有助于找到关键节点。。。同时讨论我们最近在motif方面的工作简化,其中常用模式替换为。。。
  • 蜜蜂

  • 引用8篇文章[sw16989]
  • 更好的编码选择是在约束之后简化.BEE是用Prolog编写的,它集成了。。。合适的Prolog接口。我们证明了这种限制简化在解决困难时通常是非常有益的。。。