1206 search results - page 172 / 242 » Concurrent Abstract Predicates |
SMC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
122
click to vote
CEEMAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We are interested in understanding and simulating how humans elaborate plans in situations where knowledge is incomplete and how they interact to obtain missing informati...
101
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
103
click to vote
GFKL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
85
Voted
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...