972 search results - page 129 / 195 » Intersection types and computational effects |
CHI
2010
ACM
13 years 10 months ago
2010
ACM
Effective group meetings are important for the productivity of corporations. Various types of meeting facilitators have been developed over the past couple of years. We present a ...
NSDI
2010
13 years 10 months ago
2010
Existing flooding algorithms have demonstrated their effectiveness in achieving communication efficiency and reliability in wireless sensor networks. However, further performance ...
NIPS
2008
13 years 10 months ago
2008
Conditional Random Sampling (CRS) was originally proposed for efficiently computing pairwise (l2, l1) distances, in static, large-scale, and sparse data. This study modifies the o...
WSCG
2004
13 years 10 months ago
2004
With the growing popularity of pen-based computers comes the need to display clear handwritten characters at small sizes on low-resolution displays. This paper describes a method ...
ACMDIS
2010
ACM
13 years 9 months ago
2010
ACM
Energy feedback systems, particularly residential energy feedback systems (REFS), have emerged as a key area for HCI and interaction design. However, we argue that HCI researchers...