Sciweavers

907 search results - page 88 / 182
» Understanding movement for interaction design: frameworks an...
Sort
View
HAPTICS
2009
IEEE
14 years 9 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
KBSE
2008
IEEE
15 years 6 months ago
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
David A. Turner, Moonju Park, Jaehwan Kim, Jinseok...
HAPTICS
2009
IEEE
15 years 6 months ago
Passive set-position modulation approach for haptics with slow, variable, and asynchronous update
We consider the following problem in haptics: information update from the virtual world is slow w.r.t. the local servo-loop rate of the haptic device, and the information transmis...
Dongjun Lee, Ke Huang
TYPES
1995
Springer
15 years 3 months ago
A Natural Deduction Approach to Dynamic Logic
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
Furio Honsell, Marino Miculan
TVCG
2008
96views more  TVCG 2008»
14 years 11 months ago
Distributed Cognition as a Theoretical Framework for Information Visualization
Even though information visualization (InfoVis) research has matured in recent years, it is generally acknowledged that the field still lacks supporting, encompassing theories. In ...
Zhicheng Liu, Nancy J. Nersessian, John T. Stasko