2941 search results - page 150 / 589 » The Myth of the Educational Computer |
160
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...
124
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
We consider the model of population protocols introduced by Angluin et al. [AAD+ 04], in which anonymous finite-state agents stably compute a predicate of the multiset of their in...
124
click to vote
CORR
1998
Springer
15 years 4 months ago
1998
Springer
We examine the computational complexity of testing and nding small plans in probabilistic planning domains with both at and propositional representations. The complexity of plan e...
129
click to vote
SIGCSE
2002
ACM
15 years 4 months ago
2002
ACM
Bioinformatics is a new and rapidly evolving discipline that has emerged from the fields of experimental molecular biology and biochemistry, and from the the artificial intelligen...
159
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...