6432 search results - page 1084 / 1287 » Classic Mechanism Design |
173
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
166
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper presents a soft robotic platform that exhibits peristaltic locomotion. The design principle is based on the unique antagonistic arrangement of radial/circular and lo...
137
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper presents the design and control of an actuated bivalve robot, which has been developed to study the burrowing locomotion of bivalves in sediment. The setup consists ...
190
click to vote
IJCAT
2010
15 years 5 months ago
2010
—Breast cancer is one of the most prevalent forms of cancer in the world today. The search for effective treatment and screening methods is a highly active area of research. The ...
216
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—A SEA Swarm (Sensor Equipped Aquatic Swarm) is a sensor cloud that drifts with water currents and enables 4D (space and time) monitoring of local underwater events such as conta...