2701 search results - page 247 / 541 » On the form of witness terms |
165
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present a new interaction technique for large directtouch displays called Modal Spaces. Modal interfaces require the user to keep track of the state of the system. The Modal Sp...
145
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We explore the concept of social landmarks in complex, shared information and coordination environments. Previous research in navigation and shared spaces has tended to emphasize ...
160
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
This paper describes the creation of an interactive audience voting system, iVo. The device is intended for diving and gymnastics events during the 2004 Summer Olympics in Athens,...
174
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
288
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...