— This paper discusses an optimum design approach for robotic hands by considering the characteristics of viscoelasticity of food. “Norimaki-sushi” is taken as an example for...
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
Applications built in a strongly decoupled, eventbased interaction style have many commendable characteristics, including ease of dynamic configuration, accommodation of platform ...
Scott A. Hendrickson, Eric M. Dashofy, Richard N. ...
Human behavior representation (HBR) is an elusive, yet critical goal for many in the simulation community. Requirement specifications related to HBR often exceed current capabilit...
John C. Giordano, Paul F. Reynolds Jr., David C. B...
Many problems in laparoscopic surgery are due to the poor degrees of freedom of movement (DOF) in controlling forceps and laparoscopes. The Multi-DOF forceps manipulator we have ne...
Ryoichi Nakamura, Etsuko Kobayashi, Ken Masamune, ...