1614 search results - page 194 / 323 » On relational interfaces |
141
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
140
click to vote
BCSHCI
2007
15 years 5 months ago
2007
The present study explores potential usability gaps when users switch from a familiar to an unfamiliar mobile phone interface. A within-subject experiment was performed in which n...
159
click to vote
GRAPHICSINTERFACE
2007
15 years 5 months ago
2007
This paper describes a communication-minded visualization called progressive multiples that supports both the forensic analysis and presentation of multidimensional event data. We...
148
click to vote
PRESENCE
2007
15 years 3 months ago
2007
The suggestion that the body surface might be used as an additional means of presenting information to human-machine operators has been around in the literature for nearly 50 year...
142
click to vote
ESWA
2010
15 years 2 months ago
2010
Radio Frequency Identification (RFID) has recently received a lot of attention as an augmentation and interface technology with physical and virtual objects in the ubiquitous comp...