11394 search results - page 1882 / 2279 » Error-Correcting Data Structures |
121
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
We describe our approach and initial results in the participatory design of technology relevant to local rural livelihoods. Our approach to design and usability proceeds from rese...
138
click to vote
CHI
2007
ACM
16 years 5 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...
167
click to vote
CHI
2005
ACM
16 years 5 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...
111
click to vote
CHI
2005
ACM
16 years 5 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...
120
Voted
VLSID
2006
IEEE
16 years 5 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 ...