位置：成果数据库 > 会议 > 会议详情页
An ASP based method for subassembly identification
  • 所属机构名称：桂林电子科技大学
  • 会议名称：2009 IEEE International Conference on Robotics and Biomimetics, ROBIO 2009
  • 成果类型：会议
  • 会场：Guilin, China
  • 相关项目：基于依赖公式抽象的软件模型检测研究
作者： Liao, W.Z.|Zhao, L.Z.|Fang, Y.L.|Qian, J.Y.|Zeng, C.W.|
同会议论文项目
基于依赖公式抽象的软件模型检测研究
期刊论文 20 会议论文 10
同项目会议论文
Distributed collaborating system design via electronic institutional calculus
Goal-independent semantics for path dependent analysis of prolog programs
An ASP based solution to mechanical assembly sequence planning
A novel test case generation method for Prolog programs based on call patterns semantics
Verifying programs using abstraction and theorem proving
Formula-dependent abstraction for CTL model checking
Automatic Construction of Complete Abstraction by Abstract Interpretation
Supervising mechanism for contract based virtual organization
A formal framework for Policy-Governed institutional agency