11991 search results - page 2004 / 2399 » Data Structure Fusion |
224
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
Online communities need regular maintenance activities such as moderation and data input, tasks that typically fall to community owners. Communities that allow all members to part...
171
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
In this paper, we describe preliminary findings that indicate that managers and non-mangers think about their email differently. We asked three research managers and three researc...
180
click to vote
VLSID
2006
IEEE
16 years 8 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
192
click to vote
HPCA
2001
IEEE
16 years 8 months ago
2001
IEEE
We propose methods for reducing the energy consumed by snoop requests in snoopy bus-based symmetric multiprocessor (SMP) systems. Observing that a large fraction of snoops do not ...
178
click to vote
CHI
2003
ACM
16 years 8 months ago
2003
ACM
Calendar applications for small handheld devices such as PDAs are growing in popularity. This led us to develop FishCal, a novel calendar interface for PDAs. It supports users in ...