805 search results - page 133 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
124
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We consider the problem of human-assisted graph search: given a directed acyclic graph with some (unknown) target node(s), we consider the problem of finding the target node(s) b...
134
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
Energy use in the home is a topic of increasing interest and concern, and one on which technology can have a significant impact. However, existing work typically focuses on modera...
122
click to vote
CHI
2003
ACM
15 years 8 months ago
2003
ACM
BreakingStory is an interactive system for visualizing change in online news. The system regularly collects the text from the front pages of international daily news web sites. It...
102
click to vote
ICMCS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...
109
click to vote
NORDICHI
2004
ACM
15 years 8 months ago
2004
ACM
Inspection techniques are widely used during systems design as a supplement to empirical evaluations of usability. Psychology-based inspection techniques could give important insi...