3322 search results - page 483 / 665 » Automatic Human Model Generation |
183
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
168
click to vote
SCS
2004
15 years 7 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
160
click to vote
TOG
2008
15 years 6 months ago
2008
Clouds play an important role for creating realistic images of outdoor scenes. In order to generate realistic clouds, many methods have been developed for modeling and animating c...
183
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
181
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Training datasets for learning of object categories are often contaminated or imperfect. We explore an approach to automatically identify examples that are noisy or troublesome fo...