5964 search results - page 195 / 1193 » A theory of speculative computation |
222
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
158
click to vote
CSL
2007
Springer
16 years 1 months ago
2007
Springer
Existing definitions of the relativizations of NC1 , L and NL do not preserve the inclusions NC1 ⊆ L, NL ⊆ AC1 . We start by giving the first definitions that preserve them....
182
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
Despite the major role that modularity occupies in computer science, all the known results on modular analysis only treat particular problems, and there is no general unifying the...
173
click to vote
ECSCW
2003
15 years 8 months ago
2003
The constructs of "common ground" and "grounding" are frequently invoked in the CSCW literature as a mechanism by which participants engaged in joint activity c...
167
click to vote
CIE
2005
Springer
16 years 19 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...