2941 search results - page 311 / 589 » The Myth of the Educational Computer |
171
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
210
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract—This paper addresses combinatorial optimization schemes for solving the multicriteria Steiner tree problem for communication network topology design (e.g., wireless mesh...
204
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—Cloud providers, like Amazon, offer their data centers’ computational and storage capacities for lease to paying customers. High electricity consumption, associated with runni...
183
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
With the explosion of the size of digital dataset, the limiting factor for decomposition algorithms is the number of passes over the input, as the input is often stored out-of-cor...
161
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
— The Cartier-Perrin theorem, which was published in 1995 and is expressed in the language of nonstandard analysis, permits, for the first time perhaps, a clear-cut mathematical...