131 search results - page 25 / 27 » A bisimulation-based approach to the analysis of human-compu... |
OZCHI
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we present InfoScent Evaluator, a tool that automatically evaluates the semantic appropriateness of the descriptions of hyperlinks in web pages. The tool is based o...
ICMI
2003
Springer
14 years 1 months ago
2003
Springer
We present a multi-camera vision-based eye tracking method to robustly locate and track user’s eyes as they interact with an application. We propose enhancements to various visi...
DSVIS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
ACMDIS
2010
ACM
13 years 8 months ago
2010
ACM
One of the major challenges in the design of social technologies is the evaluation of their qualities of use and how they are appropriated over time. While the field of HCI abound...
TIP
2008
13 years 7 months ago
2008
Estimating human age automatically via facial image analysis has lots of potential real-world applications, such as human computer interaction and multimedia communication. However...