Sciweavers

2087 search results - page 293 / 418
» A Neural-Network-Based Approach to Adaptive Human Computer I...
Sort
View
CHINZ
2006
ACM
15 years 3 months ago
Digital backpacking in the museum with a SmartCard
This paper reports on the evaluation of a digitallyaugmented exhibition on the history of modern media and our experiences with the methodic approach employed. As a central elemen...
Eva Hornecker, Matthias Stifter
CASSIS
2005
Springer
15 years 3 months ago
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Me...
MHCI
2004
Springer
15 years 3 months ago
An Evaluation of Techniques for Browsing Photograph Collections on Small Displays
In this paper we evaluate techniques for browsing photographs on small displays. We present two new interaction techniques that replace conventional scrolling and zooming controls....
Dynal Patel, Gary Marsden, Steve Jones, Matt Jones
DSVIS
1998
Springer
15 years 2 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
EWHCI
1993
15 years 2 months ago
Applying the Wizard of Oz Technique to the Study of Multimodal Systems
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing service...
Daniel Salber, Joëlle Coutaz