2941 search results - page 479 / 589 » The Myth of the Educational Computer |
156
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Increasing numbers of mobile computing devices, user-portable, or embedded in vehicles, cargo containers, or the physical space, need to be aware of their location in order to prov...
161
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
A major enterprise in compressed sensing and sparse approximation is the design and analysis of computationally tractable algorithms for recovering sparse, exact or approximate, s...
161
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we show how the complexity of performing nearest neighbor (NNS) search on a metric space is related to the expansion of the metric space. Given a metric space we loo...
155
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...