805 search results - page 112 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
146
click to vote
HAPTICS
2006
IEEE
16 years 1 months ago
2006
IEEE
The design of usable haptic icons (brief informational signals delivered through the sense of touch) requires a tool for measuring perceptual distances between icons that will be ...
176
click to vote
HAPTICS
2007
IEEE
16 years 1 months ago
2007
IEEE
The tactile detectability of sinusoidal and squarewave virtual texture gratings were measured and analyzed. Using a three-interval one-up three-down adaptive tracking procedure, d...
198
click to vote
HUC
2009
Springer
15 years 10 months ago
2009
Springer
In 2007, approximately 30% of US adults were obese, with related health care costs exceeding 100 billion dollars. Clearly, the obesity epidemic represents a growing societal conce...
168
click to vote
OZCHI
2009
ACM
16 years 1 months ago
2009
ACM
This paper extends the analytic framework Suchman used in Plans and Situated Actions by using it as a tool in the design of interactive, immersive environments that rely on human ...
226
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...