784 search results - page 9 / 157 » The logic of tasks |
CICLING
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. One major goal of human computer interfaces is to simplify the communication task. Traditionally, users have been restricted to the language of computers for this task. W...
IJRR
2006
13 years 8 months ago
2006
Current technological developments and application-driven demands are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missio...
RTSS
1992
IEEE
14 years 19 days ago
1992
IEEE
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
AAAI
2010
13 years 10 months ago
2010
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical kn...
RTCSA
1999
IEEE
14 years 25 days ago
1999
IEEE
While it is widely believed that preemptability is a necessary requirement for developing real-time software, there are additional costs involved with preemptive scheduling, as co...