8731 search results - page 302 / 1747 » Interaction design in the wild |
189
click to vote
GI
2008
Springer
15 years 7 months ago
2008
Springer
: For the deployment of ambient services it is unrealistic to base user-computer interaction on traditional mouse or keyboard. Replacing them with other proprietary devices just mo...
194
click to vote
AIS
2006
Springer
15 years 6 months ago
2006
Springer
Negative attitudes toward robots are considered as one of psychological factors preventing humans from interacting with robots in daily life. To verify their influence on humans&#...
183
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
159
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
177
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
The ChainMail system is a scalable electronic sensate skin that is designed as a dense sensor network. ChainMail is built from small (1”x1”) rigid circuit boards attached to t...