4940 search results - page 7 / 988 » On the Complexity of Universal Programs |
DAGSTUHL
2006
13 years 8 months ago
2006
We show that Kolmogorov complexity and such its estimators as universal codes (or data compression methods) can be applied for hypothesis testing in a framework of classical mathe...
FOCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing ma...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
We envision a future where each person will carry with them a personal universal controller (PUC), a portable computerized device that allows the user to control any appliance wit...
AGI
2008
13 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...
CIE
2007
Springer
14 years 1 months ago
2007
Springer