3690 search results - page 687 / 738 » Computation with classical sequents |
CHI
2011
ACM
13 years 2 months ago
2011
ACM
Much of the mobile work by HCI researchers explores a future world populated by high-end devices and relatively affluent users. This paper turns to consider the hundreds of milli...
CHI
2011
ACM
13 years 2 months ago
2011
ACM
Microblogs are a tremendous repository of user-generated content about world events. However, for people trying to understand events by querying services like Twitter, a chronolog...
CHI
2011
ACM
13 years 2 months ago
2011
ACM
Large-scale, ground-level urban imagery has recently developed as an important element of online mapping tools such as Google’s Street View. Such imagery is extremely valuable i...
CHI
2011
ACM
13 years 2 months ago
2011
ACM
While a large body of research on image-based authentication has focused on memorability, comparatively less attention has been paid to the new security challenges these schemes m...
CHI
2011
ACM
13 years 2 months ago
2011
ACM
Event sequence analysis is an important task in many domains: medical researchers may study the patterns of transfers within the hospital for quality control; transportation exper...