Sciweavers

969 search results - page 14 / 194
» Integrating part and assembly modelling
Sort
View
IJCV
2008
151views more  IJCV 2008»
13 years 7 months ago
Describing Visual Scenes Using Transformed Objects and Parts
We develop hierarchical, probabilistic models for objects, the parts composing them, and the visual scenes surrounding them. Our approach couples topic models originally developed...
Erik B. Sudderth, Antonio Torralba, William T. Fre...
ASM
2010
ASM
14 years 2 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
NPAR
2010
ACM
14 years 18 days ago
Compact explosion diagrams
This paper presents a system to automatically generate compact explosion diagrams. Inspired by handmade illustrations, our approach reduces the complexity of an explosion diagram ...
Markus Tatzgern, Denis Kalkofen, Dieter Schmalstie...
ICSE
2003
IEEE-ACM
14 years 7 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
ICRA
1998
IEEE
100views Robotics» more  ICRA 1998»
13 years 11 months ago
Design for Tolerance of Electro-Mechanical Assemblies
Tolerancing decisions can profoundly impact the quality and cost of electro-mechanical assemblies. Existing approaches to tolerance analysis and synthesis in design entail detailed...
Rachuri Sudarsan, Y. Narahari, Kevin W. Lyons, Ram...