5243 search results - page 116 / 1049 » Reasoning About Strategies |
186
click to vote
UMUAI
2010
15 years 4 months ago
2010
Abstract. Pervasive computing creates possibilities for presenting highly personalised information about the people, places and things in a building. One of the challenges for such...
130
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
142
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this video, we demonstrate the effectiveness of a kinodynamic planning strategy that allows a high-impedance quadruped to operate across a variety of rough terrain. At one e...
197
click to vote
LICS
2005
IEEE
16 years 14 hour ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
130
click to vote
FM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...