位置：成果数据库 > 会议 > 会议详情页
Data Mining Based Decomposition for Assume-Guarantee Reasoning
  • 所属机构名称：湖南大学
  • 会议名称：9th International Conference on Formal Methods in Computer-Aided Design
  • 成果类型：会议
  • 相关项目：工程与产品现代设计理论与方法
作者： Xiaoyu Song|Ming Gu|He Zhu|Fei He|William N. N. Hung|
同会议论文项目
工程与产品现代设计理论与方法
期刊论文 129 会议论文 15 著作 1
同项目会议论文
Identifying features in reconstructing 3D solids from sectional views.
Build the User Emotional Genetic Model to Generate New Form in Automobile Concept Design
Recursive algorithms for a novel identification criterion,
Algorithm for approximate NURBS surface skinning and its application.
Satisfiability degree analysis for transition system
On Array Theory of Bounded Elements
A Hybrid System Approach of Case-based Reasoning and Knowledge-based for Product Form Design
Converting hybrid wire-frames to B-rep models.
Proposition matrix search algorithm for satisfiability degree computation
Extend argumentation frameworks based on degree of attack
Reconstructing 3D objects from 2D sectional views of engineering drawings using volume-based method.
An efficient triangular shell element based on edge-based smoothing technique for sheet metal formin
Semantic Analysis of Chinese Adjectives: A New Approach to Mapping the Form-based Metaphors in Autom
A Feature-Line-Based Descriptive Model of Automobile Styling and Application in Auto-design