• 重新规划

  • 引用9篇文章[sw01619]
  • 松散耦合。例如,在项目中计划,用户会弹出一个任务列表。。。像Microsoft Project。一个人可以看到自动化 计划以类似的方式。。。行动。另一方面,大多数自动化人工智能专业的规划师。。。利用松耦合。特别是一本小说计划一个名为RealPlan的框架在其中。。。
  • CAPP

  • 引用9篇文章[sw03233]
  • 无纸化制造环境自动化过程计划(CAPP)将在。。。制造,过程计划需要的部分自动化. 这家商店训练的人。。。在将来的待办流程中不可用计划. 另一种实现这个功能的方法。。。
  • 1条引用[sw06912]
  • 人工智能技术自动化 计划为了解决软件模型的不一致性。。。
  • 引用2篇文章[sw13377]
  • 移动机器人路径计算计划. 运动计划对于移动机器人来说是一项艰巨的任务。。。LAMP和Mathematica写的自动化运动计划基于这种技术。。。
  • 吟游诗人

  • 引用2篇文章[sw08274]
  • 巴德:更好自动化重新划分。巴德是第一个(也是在写作时,唯一的)开放。。。自动完善、评估和描述政治分区计划. 巴德的目标是提供一个框架。。。确定的标准。此外,BARD支持自动化重划分的生成计划以及计划...
  • xCBL公司

  • 引用3篇文章[sw31027]
  • 多公司供应链自动化,直接和间接采购,计划拍卖,发票和付款。。。
  • MPTP公司

  • 引用23条[sw02489]
  • 转换成适合于自动化定理证明器,以及生成定理证明。。。系统,它们的解决方案,当前的限制,以及计划未来的扩展。我们展示了第一次实验的结果。。。
  • 构造

  • 引用9篇文章[sw28905]
  • 格式、图形表示和超文本链接;以及自动化通过重写,归纳,证明的实质部分。。。程序。系统的进一步开发是计划作为一个整体框架的一部分。。。
  • 路易

  • 在10篇文章中引用[sw19627]
  • Ω兆用户界面。一个自动化定理证明者的接口是必要的。。。带超文本功能的浏览器,校样和校样计划用自然语言表达,还有一个编辑。。。
  • 椰林

  • 引用2篇文章[sw28719]
  • 定理证明。这个自动化是基于证据的思想计划. 证据计划构造。。。
  • 倍频程GTK

  • 1条引用[sw05636]
  • 代码生成、绑定自动化以及我们的利基计划来填补空缺。。。
  • 在轨

  • 引用2篇文章[sw11950]
  • OnTrack工具集自动化铁路验证工作流,从图形方案开始计划最后。。。
  • SAT竞赛

  • 引用8篇文章[sw04623]
  • 关于他们所在地区基于SAT的技术(计划硬件或软件验证等)提交。。。这种方法。比赛将彻底自动化使用SAT-Ex系统。。。
  • 个体植物

  • 在0篇文章中引用[sw19011]
  • 景观水平分析和计划森林生态系统自动化展台投影的任务。。。
  • 斯卡莫

  • 1条引用[sw02835]
  • 自动化Web服务的组合。很多方法,比如人工智能-计划已经被提议。。。
  • 基因路径

  • 引用3篇文章【sw35741】
  • 开发了GenePath智能助手自动化遗传数据的分析。GenePath雇佣。。。大量可能的后果计划实验。它还提供了一种解释机制。。。
  • biz Neogia的

  • 1条引用[sw11323]
  • 的开源产品自动化包括框架组件和业务的企业流程。。。ERP(企业资源)应用程序计划),CRM(客户关系管理),电子商务/电子商务。。。
  • 烟火

  • 引用3篇文章[sw28739]
  • 长期运行项目的报告,iv自动化重复检测和v动态工作流,即修改。。。我们方法的局限性以及计划未来的工作。。。
  • 费利克斯

  • 引用2篇文章[sw28618号]
  • 重写规则和逻辑策略自动化从…生成替代功能等效的实现。。。平台(XPP),支持其他架构计划在以后的版本中。。。