805 search results - page 82 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
122
click to vote
ACMDIS
2006
ACM
15 years 7 months ago
2006
ACM
Randomness is being harnessed in the design of some interactive systems. This is observed in random blogs, random web searching, and in particular Apple's iPod Shuffle. Yet t...
105
click to vote
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Physical human-robot interaction can be significantly improved when being aware about the role each partner takes in a joint manipulation task. This holds especially in computer ...
142
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
117
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Most video games require constant interaction, so game designers must pay careful attention to usability issues. However, there are few formal methods for evaluating the usability...
102
click to vote
HRI
2007
ACM
15 years 7 months ago
2007
ACM
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...