5216 search results - page 709 / 1044 » Planning as Model Checking |
163
click to vote
ICC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Frequency planning is a common intercell interference (ICI) management strategy in narrowband cellular networks. In this paper, we consider an alternative approach that...
160
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— In this paper, we build upon recent advances in neuroscience research which have shown that control of the human hand during grasping is dominated by movement in a configurati...
155
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
– This paper presents visual perception discovered in high-level manipulator planning for a robot to reproduce the procedure involved in human painting. First, we propose a techn...
127
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— In this paper we present algorithms that enable precise trajectory control of NIMS3D, an underconstrained, three-dimensional cabled robot intended for use in actuated sensing. ...
169
click to vote
CSCLP
2007
Springer
16 years 25 days ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...