1124 search results - page 211 / 225 » Refined quorum systems |
130
Voted
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
114
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
Although existing work has explored both information extraction and community content creation, most research has focused on them in isolation. In contrast, we see the greatest le...
118
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
We introduce approximate query techniques for searching and analyzing two-dimensional data sets such as line or scatter plots. Our techniques allow users to explore a dataset by d...
118
Voted
UIST
2006
ACM
15 years 7 months ago
2006
ACM
With the availability of affordable new desktop fabrication techniques such as 3D printing and laser cutting, physical models are used increasingly often during the architectural ...
118
Voted
SIGECOM
2005
ACM
15 years 7 months ago
2005
ACM
In a previously reported user study, we found that users were able to perform decision tradeoff tasks more efficiently and commit considerably fewer errors with the example critiq...