5964 search results - page 85 / 1193 » A theory of speculative computation |
169
click to vote
CONCUR
2010
Springer
15 years 7 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...
186
Voted
LOGCOM
2006
15 years 6 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
189
Voted
AGI
2008
15 years 8 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...