位置：成果数据库 > 期刊 > 期刊详情页
The Delayed BDD-based Incremental Heuristic Search for Efficient Path Replanning
  • 期刊名称：International Journal of Advancements in Computing
  • 时间：2012.9.1
  • 页码：476-484
  • 相关项目：基于多主体认知逻辑模型检测的Web服务组合验证
作者： Yanyan Xu|Xuan Tian|Kaile Su|
同期刊论文项目
基于多主体认知逻辑模型检测的Web服务组合验证
期刊论文 15 会议论文 4
同项目期刊论文
Composition of Resource-Service Chain forCloud Manufacturing
A First-Order Coalition Logic for BDI-Agents
基于用户的协同过滤算法的推荐效率和个性化改进
Operationalmodal analysis for linear time-varying continuous cantilever beam dynamicstructure based
Age estimation with dynamic age range
相似度最优加权协同过滤推荐模型
基于MAS模型检测及抽象的Web服务验证
一个分布式K互斥算法的概率模型检测
An Algorithm for the Minimum Initial Marking Problem of Structurally a Live Petri Net with Inhibitor
Recursive principalcomponent analysis with forgetting factor for operational modal analysis oflinear
Greedy Clique Decomposition for Symbolic Satisfiability Solving
基于MAS模型检测与抽象的Web服务验证
基于背景动态更新与暗通道先验的火灾烟雾检测算法
基于KQML的多智能体系统建模与验证