5550 search results - page 394 / 1110 » Different Approaches to Proof Systems |
156
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
We are developing a complex computer aided diagnosis (CAD) system to detect small pulmonary nodules from helical CT scans. Here we present a classifier to reduce the number of fal...
184
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Research has shown that computers are notoriously bad at supporting the management of parallel activities and interruptions, and that mobility increases the severity and scope of ...
197
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...
169
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
Energy consumption of mobile readers is becoming an important issue as applications of RFID systems pervade different aspects of our lives. Surprisingly, however, these systems ar...
165
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we study the anonymous cardinality estimation problem in radio frequency identification (RFID) systems. To preserve privacy and anonymity, each tag only transmi...