805 search results - page 76 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
133
click to vote
CHI
2010
ACM
15 years 1 months ago
2010
ACM
This study explores language's fragmenting effect on usergenerated content by examining the diversity of knowledge representations across 25 different Wikipedia language edit...
163
click to vote
HCI
2009
15 years 29 days ago
2009
In this study, unlike previous studies where participants were instructed to pay attention to the advertisements, we set up a more naturalistic situation of reading magazine. Five ...
141
Voted
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
127
click to vote
CHI
2005
ACM
16 years 3 months ago
2005
ACM
Visualization techniques have proven to be critical in helping crime analysis. By interviewing and observing Criminal Intelligence Officers (CIO) and civilian crime analysts at th...
100
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...