7811 search results - page 1123 / 1563 » computing 2004 |
132
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
In this article, we explore a new role for the computer in art as a reflector of popular culture. Moving away from the static audiovisual installations of other artistic endeavors...
148
click to vote
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we report on our experience in designing and delivering two new software design courses in the Informatics major at UC Irvine. When the major was created in 2004, i...
161
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Secure multiparty computation allows parties to jointly compute a function of their private inputs without revealing anything but the output. Theoretical results [2] provide a gen...
154
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
For the discovery of similar patterns in 1D time-series, it is very typical to perform a normalization of the data (for example a transformation so that the data follow a zero mea...
268
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...