9716 search results - page 334 / 1944 » The Case for Energy-Proportional Computing |
159
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a randomized algorithm for computing portions of an arrangement of n arcs in the plane, each pair of which intersect in at most t points. We use this algorithm to perfo...
175
click to vote
LFCS
1992
Springer
15 years 11 months ago
1992
Springer
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...
167
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
180
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We address the problem of selecting a subset of the most relevant features from a set of sample data in cases where there are multiple (equally reasonable) solutions. In ...
160
click to vote
CAD
2008
Springer
15 years 7 months ago
2008
Springer
We present several Hermite-type interpolation methods for rational cubics. In case the input data come from a circular arc, the rational cubic will reproduce it.