5964 search results - page 126 / 1193 » A theory of speculative computation |
245
click to vote
FOCS
2005
IEEE
16 years 14 days 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 ...
162
click to vote
BIRTHDAY
2005
Springer
16 years 12 days 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...
197
click to vote
DALT
2004
Springer
16 years 8 days 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...
170
click to vote
AGI
2008
15 years 8 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...
192
Voted
JCC
2007
15 years 6 months ago
2007
Abstract: Starting from the 1980s and onwards, Valence Bond theory has been enjoying renaissance that is characterized by the development of a growing number of ab initio methods, ...