805 search results - page 56 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
135
click to vote
HCI
2011
14 years 6 months ago
2011
Using Web information in example-based dialogue systems is considered to be a good way to increase the topical relevance of system responses. However, Web content is mostly written...
CHI
2005
ACM
16 years 3 months ago
2005
ACM
We present a quantitative analysis of delimiters for pen gestures. A delimiter is "something different" in the input stream that a computer can use to determine the stru...
119
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
The design of tools for creative activities affects the creative processes and output of users. In this paper we consider how an understanding of creative interaction can inform t...
120
click to vote
COST
2007
Springer
15 years 9 months ago
2007
Springer
This study investigates how the psychological notion of affordance, known from human computer interface design, can be adopted for the analysis and design of communication of a use...
118
Voted
PASTE
2004
ACM
15 years 8 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...