805 search results - page 39 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
122
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
The problem of extracting information from large collections of imagery is a challenge with few good solutions. Computers typically cannot interpret imagery as effectively as huma...
131
click to vote
ENTCS
2008
15 years 3 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
139
click to vote
ACMDIS
2010
ACM
15 years 3 months ago
2010
ACM
Many HCI researchers have recently begun to examine the opportunities to use ICTs to promote environmental sustainability and ecological consciousness on the part of technology us...
218
click to vote
CONCUR
2011
Springer
14 years 2 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
119
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Nonparametric data from multi-factor experiments arise often in human-computer interaction (HCI). Examples may include error counts, Likert responses, and preference tallies. But ...