2702 search results - page 306 / 541 » Practically Applicable Formal Methods |
110
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
— Reaching is a critical task for humanoid robots, requiring the application of state-of-the-art algorithms for motion planning and inverse kinematics. Practical algorithms for s...
94
Voted
3DIM
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a “non-contact virtual clay modeling interface.” We developed a prototype of a three-dimensional modeling system that allows the user to deform the “virt...
101
Voted
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
143
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
118
Voted
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
As semiconductor manufacturing technology advances, power dissipation and noise in scan testing has become a critical problem. In our studies on practical LSI manufacturing, we ha...