11211 search results - page 1912 / 2243 » Rank-Sensitive Data Structures |
124
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
158
Voted
CHI
2005
ACM
16 years 4 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...
104
click to vote
CHI
2005
ACM
16 years 4 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...
112
Voted
VLSID
2006
IEEE
16 years 4 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 ...
106
Voted
HPCA
2001
IEEE
16 years 4 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 ...