6881 search results - page 1019 / 1377 » Motivation |
196
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Can implicit interaction with a computer easily drive useful interface improvements in physical world settings? This paper presents a case study presenting multiple such context-a...
222
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Portable, embedded systems place ever-increasing demands on high-performance, low-power microprocessor design. Dynamic voltage and frequency scaling (DVFS) is a well-known techniq...
198
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
Increasing amounts of public, corporate, and private speech data are now available on-line. These are limited in their usefulness, however, by the lack of tools to permit their br...
179
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
The early architectural design stage is a typical example where traditional design tools such as sketching on paper still dominate over computer-assisted tools. Augmented reality ...
313
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...