3322 search results - page 246 / 665 » Automatic Human Model Generation |
106
click to vote
EVOW
2001
Springer
15 years 3 months ago
2001
Springer
The integrated circuits design flow is rapidly moving towards higher description levels. However, test-related activities are lacking behind this trend, mainly since effective faul...
CDC
2009
IEEE
14 years 9 months ago
2009
IEEE
The purpose of this paper is to estimate the position of a human in the image frame and to use this information to diagnose falls. A nonholonomic locomotion model describes the dis...
106
click to vote
CADE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract— Humanoid robots are appealing due to their inherent dexterity. However, these potential benefits may only be realized if the corresponding motion synthesis procedure i...
GI
2007
Springer
15 years 3 months ago
2007
Springer
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...