7778 search results - page 119 / 1556 » Designing Controllers for Reachability |
117
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— A new three degrees of freedom translational parallel manipulator (TPM) with fixed actuators, called a general 3-PRC TPM, is proposed in this paper. The mobility of the manipu...
122
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
114
click to vote
MDM
2004
Springer
15 years 8 months ago
2004
Springer
Enabling people-to-people interaction across heterogeneous communication end-points enhances user experience and fosters people collaboration. This paper presents the design and i...
134
click to vote
ROBOCUP
2004
Springer
15 years 8 months ago
2004
Springer
In this work, a novel search strategy for autonomous search and rescue robots, that is highly suitable for the environments when the aid of human rescuers or search dogs is complet...
128
click to vote
GCC
2003
Springer
15 years 8 months ago
2003
Springer
Tool integration has been an important research area for many years after software engineering became a key player in information industry. With the Internet establishing ubiquitou...