1965 search results - page 257 / 393 » On the analysis of interacting pushdown systems |
GIS
2007
ACM
14 years 10 months ago
2007
ACM
We consider trails to be a document type of growing importance, authored in abundance as locative technologies become embedded in mobile devices carried by billions of humans. As ...
CHI
2009
ACM
2009
ACM
Comparing usage of a large high-resolution display to single or dual desktop displays for daily work
14 years 9 months ago
With the ever increasing amount of digital information, users desire more screen real estate to process their daily computing work, and might well benefit from using a wallsize la...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
This paper introduces City Browser, a prototype multimodal, conversational, spoken language interface for automotive navigational aid and information access. A study designed to e...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
Modes allow a few inputs to invoke many operations, yet if a user misclassifies or forgets the state of a system, modes can result in errors. Spring-loaded modes (quasimodes) main...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
This paper presents a virtual rap dancer that is able to dance to the beat of music coming in from music recordings, beats obtained from music, voice or other input through a micr...