805 search results - page 112 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
101
click to vote
HAPTICS
2006
IEEE
15 years 9 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 ...
105
click to vote
HAPTICS
2007
IEEE
15 years 9 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...
120
click to vote
HUC
2009
Springer
15 years 6 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...
101
click to vote
OZCHI
2009
ACM
15 years 10 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 ...
149
click to vote
FMICS
2009
Springer
15 years 9 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 + ...