12194 search results - page 2030 / 2439 » Numberings Optimal for Learning |
189
click to vote
CHI
2007
ACM
16 years 8 months ago
2007
ACM
Standard input devices for mobile phones are directional keys and discrete thumb-joysticks. These devices are dedicated to the discrete GUIs of the phones (eg. scroll lists and sm...
178
click to vote
HPCA
2003
IEEE
16 years 8 months ago
2003
IEEE
Stream processors are high-performance programmable processors optimized to run media applications. Recent work has shown these processors to be more area- and energy-efficient th...
339
click to vote
POPL
2007
ACM
16 years 8 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
193
click to vote
CADE
2003
Springer
16 years 8 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
252
click to vote
STOC
2004
ACM
16 years 8 months ago
2004
ACM
Abstract. In the late nineties, Erickson proved a remarkable lower bound on the decision tree complexity of one of the central problems of computational geometry: given n numbers, ...