2940 search results - page 145 / 588 » Relational Parametricity and Control |
143
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, the tendon-sheath driving system for a robotic hand is presented and its force transmission characteristics are analyzed. The use of tendon-based transmission pe...
145
click to vote
ICW
2005
IEEE
15 years 10 months ago
2005
IEEE
Large-scale networks of mobile agents autonomously performing long-term sensing and communication tasks will be foreseeable in the near future. Since nodes in such a system commun...
150
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We develop a dynamic control strategy for minimizing energy expenditure in a time varying wireless network with adaptive transmission rates. The algorithm operates with...
142
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Air Traffic Control is an important application with demanding real-time database processing requirements. Systems that have been implemented using current approaches have typical...
166
click to vote
PPDP
2004
Springer
15 years 10 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...