• 涂片

  • 引用49篇文章[sw12434]
  • 系统(箭头、序列、成对、记录,交叉口,联合,差异),精确类型推断模式和错误。。。
  • 凸面的

  • 引用32篇文章[sw07770]
  • 基本对象是多面体交叉口有限多(仿射)半空间的。多面体也可以。。。凸包,多面体用类型多面体和多面体的亚型多面体。。。定义一个多面体是convhull和交叉. 线性设置基于圆锥体。。。交叉口有限多个线性半空间(即,其边界包含原点)。生成圆锥体。。。
  • NBI公司

  • 引用186篇[sw05075]
  • 正常边界交叉提出了一种新的非线性多准则优化帕累托曲面生成方法。。。同时保持了延拓的计算效率-类型算法。这是对延续的改进。。。
  • 治疗

  • 引用4篇文章[sw19991]
  • 联合体风格交叉 类型,以及它的参数化契约范围的概念。。。
  • TravMC公司

  • 引用2篇文章[sw09396]
  • 模型检验问题交叉 类型以一种严格限制的形式扩展的系统。。。联盟类型. 然后,我们提出了一种判定模型检验问题的算法,该算法可以很好地解决模型检验问题。。。交叉和联合类型系统。我们查看HORSC模型检查。。。
  • 星尘

  • 1条引用[sw20015]
  • ML的子集类型改进,交叉 类型,和联合类型,使程序员能够清楚地。。。首次实施无限制交叉和联合类型在主流的函数式编程环境中。。。尺寸一致性)。在用交叉和联合类型本质上很复杂,我们的经验。。。
  • 乌代克

  • 17条引用[sw07904]
  • 多个,相交节理结构。因为它不局限于类型有问题。。。
  • 阿克塞尔

  • 参考22篇文章[sw06457]
  • 物体。Axel还提供算法来计算交叉点或曲线,代数曲线的奇点。。。机制允许轻松扩展数据类型以及平台上可用的功能。。。
  • VCF工具

  • 参考6篇文章[sw14582号文件]
  • 转换为其他文件类型;验证并合并文件;创建交叉口以及变体的子集。。。
  • 打包机

  • 参考12篇文章[sw13408]
  • 考虑到包装问题:每个类型分子必须满足与几何有关的空间约束。。。三维区域。这些地区可能是交叉口球体、椭圆、圆柱体、平面或长方体。。。每个分子的结构类型以及每个类型...
  • 盖亚

  • 引用4篇文章[sw03223]
  • 要改进的几何图形交叉计算机辅助设计(CAD)算法类型系统。内在的焦点。。。基于递归细分的奇异点识别交叉算法,工业测试一目了然。。。
  • 雷神

  • 1条引用[sw14146]
  • 小林的扩张交叉 类型-基于模型检验技术。我们展示了一个实现。。。
  • 强可解理想

  • 参考7篇文章[sw27084]
  • 一般的初始理想就是这样类型. 在希尔伯特计划的背景下,加里戈。。。定理意味着每个组成部分交叉组件的至少包含一个点。。。
  • intpakX公司

  • 参考11篇文章[sw00445]
  • Maple Power Tool intpakX定义了Maple类型对于真正的间隔和复杂的圆盘间隔。。。标准函数、联合和交叉. Maple构造、转换和取消应用函数的重新实现。。。
  • 苏格兰人

  • 引用13篇文章[sw20172号文件]
  • 非线性控制系统。它用的是立普希茨类型估计在右边。。。用有限并集和交叉口多面体和椭球。当。。。
  • 奥尔加.lib

  • 参考6篇文章[sw22197]
  • 算术是计算交叉具有次幺半群的左理想。。。通过提取三种最常见的结构类型矿集。我们介绍这个概念。。。
  • 网络格式塔

  • 参考7篇文章[sw17514]
  • 执行布尔运算以生成联合,交叉口或者不同基因组之间的差异。。。基因在各种人类组织中的表达过度类型. 对所有48个基因集的探索。。。
  • pH2结果

  • 在0篇文章中引用[sw16511]
  • 工会-交叉二期试验(UIT)方案。设计类型包括:Minimax(最小化。。。
  • VCG TriMeshInfo公司

  • 1条引用[sw05703]
  • 检查三维模型并检索许多类型从他们那里得到的拓扑和几何信息。。。正则性、重复顶点数和自身-交叉...
  • 呻吟

  • 1条引用[sw21564]
  • 像工会这样的行动经常得到支持,交叉口、差异和对称差异。一些重要的系统,比如。。。Apache Kylin依赖于类型的压缩位图索引称为咆哮。我们呈现。。。提出了一种矢量化算法来计算交叉数组之间的并集、差分和对称差。。。