397 search results - page 43 / 80 » Lifting of divisible designs |
CHI
2008
ACM
14 years 9 months ago
2008
ACM
We explore the feasibility of muscle-computer interfaces (muCIs): an interaction methodology that directly senses and decodes human muscular activity rather than relying on physic...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper describes a compact robot with two magnetic wheels in a bicycle arrangement, which is intended for inspecting the inner casing of pipes with complex shaped structure...
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
: This paper proposes the new innovated 4-legged Locomotion mechanism with pantograph-jack structure as its leg. This study aims at developing the practical robotic system, especia...
SEW
2006
IEEE
14 years 3 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
SMI
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper proposes a new method for isotropic remeshing of triangulated surface meshes. Given a triangulated surface mesh to be resampled and a user-specified density function d...