5964 search results - page 85 / 1193 » A theory of speculative computation |
130
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
143
click to vote
LOGCOM
2006
15 years 4 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
150
click to vote
AGI
2008
15 years 5 months ago
2008
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...