9575 search results - page 1845 / 1915 » Exploring user experience in |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
In-vehicle navigation has changed substantially in recent years, due to the advent of computer generated maps and directions. However, these maps are still problematic, due to a m...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Experiments were conducted to investigate the interdependency of frame rates (30, 15, 10 fps) and audiovisual skew (from +163 to -233 ms1 ). Noised nonsense words like 'abaga...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
A validated model of trust was used as a framework for an empirical study to identify on- and offline factors that influence gamblers' perception of an online casino's t...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...