1128 search results - page 151 / 226 » Little Engines of Proof |
167
click to vote
JAT
2010
15 years 4 months ago
2010
We consider H¨older smoothness classes of surfaces for which we construct piecewise polynomial approximation networks, which are graphs with polynomial pieces as nodes and edges ...
206
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies. Re...
181
click to vote
SODA
2012
ACM
13 years 8 months ago
2012
ACM
We propose a general dual-fitting technique for analyzing online scheduling algorithms in the unrelated machines setting where the objective function involves weighted flow-time...
172
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
148
click to vote
WEBI
2005
Springer
15 years 11 months ago
2005
Springer
Given the large heterogeneity of the World Wide Web, using metadata on the search engines side seems to be a useful track for information retrieval. Though, because a manual quali...