10718 search results - page 1817 / 2144 » On the Circuit Implementation Problem |
185
click to vote
GI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract: Large biomedical projects often include workflows running across institutional borders. In these workflows, data describing biomedical entities, such as patients, bio-m...
179
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
154
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
: The immobilization of non-rigid objects is currently an active research area in robotics. This paper explores the problem by studying the immobilization of serial chains of rigid...
160
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We study target reaching tasks of redundant anthropomorphic manipulators under the premise of minimal energy consumption and compliance during motion. We formulate this motor c...
168
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Passively adaptive and underactuated robotic hands have shown the potential to achieve reliable grasping in unstructured environments without expensive mechanisms or sensors. I...