3116 search results - page 549 / 624 » Positively dependent types |
RC
1998
14 years 9 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract— Imitation learning in robots, also called programing by demonstration, has made important advances in recent years, allowing humans to teach context dependant motor ski...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— This paper presents the development of a biomechatronic knee prosthesis for transfemoral amputees. This kind of prostheses are considered ‘intelligent’ because they are abl...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— Hitting and batting tasks, such as tennis forehands, ping-pong strokes, or baseball batting, depend on predictions where the ball can be intercepted and how it can prop...
NOSSDAV
2010
Springer
14 years 8 months ago
2010
Springer
Video-on-demand (VoD) is a next-generation Internet application of increasing interest allowing users to start watching a movie almost instantaneously by downloading the video on-...