Sciweavers

3322 search results - page 525 / 665
» Automatic Human Model Generation
Sort
View
SAC
2008
ACM
15 years 5 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
ISPW
2005
IEEE
15 years 12 months ago
Software are Processes Too
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
Jacky Estublier
CVPR
2001
IEEE
16 years 8 months ago
Light Field Rendering for Large-Scale Scenes
In this paper, we present an efficient method to synthesize large-scale scenes, such as broad city landscapes. To date, model based approaches have mainly been adopted for this pu...
Hiroshi Kawasaki, Katsushi Ikeuchi, Masao Sakauchi
ICCV
2003
IEEE
16 years 8 months ago
Reliable Recovery of Piled Box-like Objects via Parabolically Deformable Superquadrics
Automatic unloading of piled box-like objects is undoubtedly of great importance to the industry. In this contribution a system addressing this problem is described: We employ a l...
Dimitrios Katsoulas
ICSE
2004
IEEE-ACM
16 years 6 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...