2941 search results - page 255 / 589 » The Myth of the Educational Computer |
157
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions a...
157
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Efficiently computing fast paths in large-scale dynamic road networks (where dynamic traffic information is known over a part of the network) is a practical problem faced by sever...
130
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A sup-interpretation is a tool which provides an upper bound on the size of a value computed by some symbol of a program. Supinterpretations have shown their interest to deal with...
172
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of computing a triangulation of the real projective plane P2 , given a finite point set P = {p1, p2, . . . , pn} as input. We prove that a triangulation of...
133
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— Decisions on sources with memory transmitted over independent channels can be taken by employing trellis calculations. In this paper, it is shown that for a certain class of fu...