5964 search results - page 86 / 1193 » A theory of speculative computation |
132
click to vote
SIGCSE
1998
ACM
15 years 8 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...
287
click to vote
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
138
click to vote
EXPCS
2007
15 years 8 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
120
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...
122
click to vote
TCS
2010
15 years 2 months ago
2010
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...