21324 search results - page 465 / 4265 » Making the case for computing |
149
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...
168
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...
259
click to vote
ISBI
2007
IEEE
16 years 1 months 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...
173
click to vote
WADS
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of computing the centroid of all the vertices in a non-degenerate arrangement of n lines. The trivial approach requires the enumeration of all `n 2 ´ verti...
165
click to vote
CSFW
2005
IEEE
16 years 20 days ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...