805 search results - page 123 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
169
click to vote
SPATIALCOGNITION
2000
Springer
15 years 6 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...
125
click to vote
CHIMIT
2009
ACM
15 years 9 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...
160
click to vote
AOSD
2009
ACM
15 years 26 days 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...
126
click to vote
CHI
2009
ACM
16 years 3 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...
197
click to vote
HCI
2009
15 years 24 days 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...