900 search results - page 87 / 180 » On the observational theory of the CPS-calculus |
175
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...
144
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
159
click to vote
AAAI
2010
15 years 7 months ago
2010
This paper introduces a principled approach for the design of a scalable general reinforcement learning agent. This approach is based on a direct approximation of AIXI, a Bayesian...
169
click to vote
MASCOTS
2010
15 years 7 months ago
2010
In this paper, we develop a queuing theory based analytical model to evaluate the performance of transactional memory. Based on the statistical characteristics observed on actual e...
165
click to vote
LREC
2008
15 years 7 months ago
2008
This paper describes the development of a written corpus of argumentative reasoning. Arguments in the corpus have been analysed using state of the art techniques from argumentatio...