• CGAL公司

  • 引用335篇文章[sw00118]
  • 建模,地理信息系统分子生物学,医学影像学,机器人学和运动计划,网格生成,数值。。。
  • 杰森

  • 参考61篇文章[sw06187]
  • 允许用户构建复杂的多代理系统能够在环境中工作。。。适用于实施反应式计划 系统根据信念欲望意图。。。
  • 购物2

  • 27条引用[sw17940]
  • 商店2:一个HTN计划 系统. 商店2计划 系统获得了其中一个奖项。。。
  • CCalc公司

  • 引用75篇文章[sw09899]
  • 行动(德克萨斯大学,1997年)。现在系统是由德州行动组织维护的。。。CCalc使用可满足性的概念计划. (一个相关的系统美国亚利桑那州立大学流程。。。
  • 蛤蜊

  • 引用24篇文章[sw19614]
  • LambdaClam(λclam,lclam)就是一个证明计划 系统支持证据计划高阶的。。。域:系统说明:证明计划具有λClam的高阶逻辑。这个系统描述大纲。。。λ蛤蜊系统作为证据计划在高阶逻辑中。应用的有效性和可行性。。。高阶证明计划对一些类型的问题进行了概述,特别是。。。
  • 引用104篇文章[sw12277]
  • 工程师建造快速通道计划方法;数据库和信息系统研究人员调查物质化的权衡,质疑。。。
  • 发电机

  • 引用249篇文章[sw01227]
  • 系统动力学分析框架。它最初是为了工业。。。资源研究[1][2]和城市计划[3][4]发电机最初是在。。。迪纳摩II/F和Dynamo III改进了系统用FORTRAN编写的可移植性。。。
  • AETG公司

  • 参考58篇文章[sw09715]
  • 单位,系统以及互操作性。它产生了两个高级测试计划详细的。。。
  • CERR

  • 引用19篇文章[sw07857]
  • 各种商业或学术待遇计划 系统(包括RTOG格式和DICOM。。。创造多机构待遇计划各种类型研究的数据库,包括剂量。。。
  • FODD计划员

  • 参考第14条[sw07747]
  • 结合这些,本文提出了一个计划 系统,FODD Planner,用于解决关系随机问题计划... 近期国际计划竞争,并表现出一流的竞争业绩系统. 这个。。。表示是一种很有前途的随机方法计划...
  • 梅塞吉三世

  • 引用13篇文章[sw20986]
  • 中长期能源系统 计划能源政策分析和情景发展(Messner。。。提供一个表示能量的框架系统从资源提取中得到的所有相互依赖性。。。
  • 液化石油气

  • 参考12篇文章[sw20690]
  • 数值量和持续时间。这个系统两者都能解决计划生成和计划适应问题。。。的互斥关系计划图形。这个系统能生产出质量好的产品计划就。。。任何产生序列的过程计划,每一个都是一个进步。。。FF使用。这个系统可以自动切换到最佳先搜索后确定。。。
  • 普兰明

  • 引用9篇文章[sw01592]
  • 完全融入两个真实世界计划 系统. 我们实验性地评估发现的规则。。。对理解和改进非常有用计划,以及用来建造监视器。。。
  • 祭坛

  • 参考7篇文章【sw20691】
  • 祭坛系统是一个基于图形规划和启发式相结合的领域独立规划师。。。阿尔塔特参加了上一届国际比赛计划竞争(AIPS-2000)。虽然那个版本。。。目前技术水平计划 系统斯坦,一个图形规划师。。。搜索规划器。基本上,Altaltal使用Graphplan的计划图形数据结构来派生一个族。。。
  • 反证

  • 参考7篇文章[sw14791]
  • 维克托-1,Z-系统[58]和TsP[31]应用程序包。另外,有些包裹。。。运筹学计划 系统[60];PTP,运输问题优化。。。
  • 构造

  • 引用9篇文章[sw28905]
  • 决策程序。进一步发展系统计划作为整体框架的一部分。。。
  • MPTP公司

  • 引用23条[sw02489]
  • 这种系统,他们的解决方案,当前的局限性,以及计划未来的扩展。我们提供结果。。。
  • 神童

  • 引用了37篇文章[sw20686]
  • 研究中计划,机器学习,学徒型知识提炼接口,专家系统. 这个文件。。。
  • IsaPlanner公司

  • 引用的第29条[sw02047]
  • IsaPlanner是一个通用的证明框架计划在交互式定理证明者伊莎贝尔。。。系统提供了一个交互式的跟踪工具计划尝试。。。
  • 特约

  • 引用16条[sw21364]
  • λProlog作为一种实现语言系统操作形式对象,如公式、程序。。。最近完成。这个计划演示将展示这一点系统-叫特约,也会。。。