635 search results - page 98 / 127 » Some Computational Problems Related to Pseudo-intents |
127
click to vote
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. A controller is an environment for a system that achieves a particular control objective by providing inputs to the system without constraining the choices of the system....
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
Sketch-based interaction is an intuitive, simple communication method. However, it has several critical aspects, due to difficulties during the interpretation step by the computer...
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
103
click to vote
EEMMAS
2007
Springer
15 years 6 months ago
2007
Springer
In this talk I present recent research in swarm robotics, the discipline that studies robotic systems composed of swarms of robots tightly interacting and cooperating to reach thei...
FOSSACS
2007
Springer
15 years 6 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...