805 search results - page 123 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
181
click to vote
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
134
click to vote
CHIMIT
2009
ACM
15 years 10 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
167
click to vote
AOSD
2009
ACM
15 years 1 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
135
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Contemporary work increasingly involves interacting with strangers in technology-mediated environments. In this context, we come to rely on digital artifacts to infer characterist...
208
Voted
HCI
2009
15 years 1 months ago
2009
Abstract. We propose a brain-computer interface (BCI) system for evolving images in realtime based on subject feedback derived from electroencephalography (EEG). The goal of this s...