9716 search results - page 226 / 1944 » The Case for Energy-Proportional Computing |
162
click to vote
ENTCS
2007
15 years 6 months ago
2007
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective ha...
159
click to vote
ICIP
1995
IEEE
16 years 8 months ago
1995
IEEE
While Bayesian methods can significantly improve the quality of tomographic reconstructions, they require the solution of large iterative optimization problems. Recent results ind...
133
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This case study compares students' learning experience and outcomes in the lecture and online versions of a first-year introductory computing course offered at the Department...
157
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
Applications in the Pervasive Computing domain are challenged by the dynamism in which their execution environment changes, e.g. due to user mobility. As a result, applications ha...
244
click to vote
ISBI
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents a semi-automatic coronary centerline extraction algorithm for computed tomography angiography data. The method applies region growing to computed tomography an...