4460 search results - page 689 / 892 » Formal methods for interactive systems |
119
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Many collaborative design tools may suffer from being too generic to address the specific complexities inherent in multidisciplinary collaboration. We provide accounts of several ...
149
Voted
CHI
2004
ACM
16 years 4 months ago
2004
ACM
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
127
click to vote
CHI
2002
ACM
16 years 4 months ago
2002
ACM
Many CSCW projects dealing with individual availability and interruption filtering achieve only limited success. Perhaps this is because designers of such systems have limited evi...
122
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
How can we best explore the range of users' reactions when developing future technologies that maybe controversial, such as personal healthcare systems? Our approach – Cont...
151
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— Humans rely on information-laden high-frequency accelerations in addition to quasi-static forces when interacting with objects via a handheld tool. Telerobotic systems have tra...