Sciweavers

6395 search results - page 891 / 1279
» Searching for Interacting Features
Sort
View
181
Voted
ICCHP
2010
Springer
15 years 4 months ago
Improving Screen Magnification Using the HyperBraille Multiview Windowing Technique
Abstract. Screen magnification is an important means to support visually impaired people when working with computers. Many improvements have been made on appropriate software. But ...
Christiane Taras, Michael Raschke, Thomas Schlegel...
202
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
185
Voted
HAPTICS
2009
IEEE
15 years 4 months ago
A 2D haptic glyph method for tactile arrays : Design and evaluation
We present a new framework for information cue rendering on 2D vibrotactile arrays, and we describe an experiment that investigated the feasibility of our approach. The methods ar...
Christoph W. Borst, Vijay B. Baiyya
HCI
2009
15 years 4 months ago
Identifying Proper Scales on Digital Maps for In-Vehicle Navigation Systems
Abstract. Current commercial mobile navigation systems often use a predetermined scale selection schema without considering differences in spatial complexity of locations. To ident...
Anna Wu, Xiaolong Zhang
216
Voted
HCI
2009
15 years 4 months ago
Responding to Learners' Cognitive-Affective States with Supportive and Shakeup Dialogues
This paper describes two affect-sensitive variants of an existing intelligent tutoring system called AutoTutor. The new versions of AutoTutor detect learners' boredom, confusi...
Sidney K. D'Mello, Scotty D. Craig, Karl Fike, Art...