5608 search results - page 73 / 1122 » On the Theory of Matchgate Computations |
CIE
2006
Springer
15 years 5 months ago
2006
Springer
G
101
click to vote
CONCUR
2010
Springer
15 years 2 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...
122
Voted
LOGCOM
2006
15 years 1 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
128
click to vote
AGI
2008
15 years 3 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...
103
click to vote
SIGCSE
1998
ACM
15 years 5 months ago
1998
ACM
ions, and (c) the seductive reality of the computer must not be allowed to supplant construction of models. The dominant theory of learning today is called constructivism. This the...