3690 search results - page 447 / 738 » Computation with classical sequents |
193
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Bicycling is an affordable, environmentally friendly alternative transportation mode to motorized travel. A common task performed by bikers is to find good routes in an area, whe...
173
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Public transit systems play an important role in combating traffic congestion, reducing carbon emissions, and promoting compact, sustainable urban communities. The usability of p...
136
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Gesture-based interfaces provide expert users with an efficient form of interaction but they require a learning effort for novice users. To address this problem, some on-line gui...
141
Voted
CHI
2010
ACM
16 years 1 months ago
2010
ACM
The recent emphasis on sustainability has made consumers more aware of their responsibility for saving resources, in particular, electricity. Consumers can better understand how t...
156
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Developers, like all modern knowledge workers, are frequently interrupted and blocked in their tasks. In this paper we present a contextual inquiry into developers’ current stra...