Sciweavers

4880 search results - page 808 / 976
» Mechanism Design by Creditability
Sort
View
DMS
2010
184views Multimedia» more  DMS 2010»
15 years 3 months ago
Building Topic/Trend Detection System based on Slow Intelligence
—It becomes an interesting research topic to detect trend in the Internet era, where millions of data are posted online everyday. As social media, for example, blogs, forums, and...
Chia Chun Shih, Ting-Chun Peng
ICFEM
2010
Springer
15 years 3 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
ICRA
2010
IEEE
137views Robotics» more  ICRA 2010»
15 years 3 months ago
Peristaltic locomotion with antagonistic actuators in soft robotics
— 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...
Sangok Seok, Cagdas Denizel Onal, Robert J. Wood, ...
ICRA
2010
IEEE
121views Robotics» more  ICRA 2010»
15 years 3 months ago
Actuated bivalve robot study of the burrowing locomotion in sediment
— 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 ...
Agathe Koller-Hodac, Daniel Peter Germann, Alexand...
IJCAT
2010
111views more  IJCAT 2010»
15 years 3 months ago
Vision-based 3D surface motion capture for the DIET breast cancer screening system
—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 ...
Richard G. Brown, Christopher E. Hann, J. Geoffrey...