Sciweavers

1965 search results - page 156 / 393
» On the analysis of interacting pushdown systems
Sort
View
HRI
2007
ACM
14 years 27 days ago
Robot expressionism through cartooning
We present a new technique for human-robot interaction called robot expressionism through cartooning. We suggest that robots utilise cartoon-art techniques such as simplified and ...
James Everett Young, Min Xin, Ehud Sharlin
CHI
2003
ACM
14 years 9 months ago
Electronic voting system usability issues
With the recent troubles in U.S. elections, there has been a nationwide push to update voting systems. Municipalities are investing heavily in electronic voting systems, many of w...
Benjamin B. Bederson, Bongshin Lee, Robert M. Sher...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
13 years 6 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
HICSS
2008
IEEE
118views Biometrics» more  HICSS 2008»
14 years 3 months ago
Television-Mediated Conversation: Coherence in Italian iTV SMS Chat
Text messaging on interactive television in Italy is a media convergence phenomenon involving short message service, traditional television, and the World Wide Web. This study inv...
Asta Zelenkauskaite, Susan C. Herring
ACMDIS
2006
ACM
14 years 3 months ago
Exploring design as a research activity
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
Blaine Hoffman, Helena M. Mentis, Matthew R. Peter...