8699 search results - page 184 / 1740 » Elements of the Theory of Computation |
CHI
2009
ACM
16 years 9 days ago
2009
ACM
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...
136
click to vote
FOCS
2005
IEEE
15 years 5 months ago
2005
IEEE
At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is ...
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
107
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
AGI
2008
15 years 1 months ago
2008
Every agent aspiring to human level intelligence, every AGI agent, must be capable of a theory of mind. That is, it must be able to attribute mental states, including intentions, t...