527 search results - page 26 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
RTAS
2008
IEEE
14 years 3 months ago
2008
IEEE
Interactive 3D games are now widely available on a variety of mobile devices for which battery-life is a major concern. Many of these devices support voltage/frequencyscalable pro...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
— Wireless networks have become a ubiquitous reality and ever more surround our everyday activities. They form and disappear around us spontaneously and have become new means for...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper proposes a new methodology for coordinating multi-robot teams in the execution of cooperative tasks. It is based on a dynamic role assignment mechanism in which the rob...
ICAT
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper proposes a wearable annotation overlay system which can correctly annotate dynamic users of wearable computers. To provide users with the newest annotation information, ...