10159 search results - page 1708 / 2032 » System Design Validation Using Formal Models |
158
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper studies the capabilities of a microrobotic platform, driven by vibrating motors, to generate and impart micromanipulation forces of desired type and magnitude. First,...
175
Voted
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Speech reading, also known as lip reading, is aimed at extracting visual cues of lip and facial movements to aid in recognition of speech. The main hurdle for speech reading is th...
186
click to vote
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
Resource brokering in Grids is nowadays handled by resource brokers that require detailed knowledge of the state of the resources that they broker. In business settings, surrender...
151
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— In human and animal running spring-like leg behavior is found, and similar concepts have been demonstrated by various robotic systems in the past. In general, a spring-mass mod...
153
click to vote
IUI
2005
ACM
16 years 9 days ago
2005
ACM
Finding the optimal teaching strategy for an individual student is difficult even for an experienced teacher. Identifying and incorporating multiple optimal teaching strategies fo...