9110 search results - page 137 / 1822 » Formally-Based Design Evaluation |
CCS
2005
ACM
15 years 3 months ago
2005
ACM
Policy enforcement is an integral part of many applications. Policies are often used to control access to sensitive information. Current policy specification languages give users ...
LREC
2010
14 years 11 months ago
2010
The EC-funded project DICIT developed distant-talking interfaces for interactive TV. The final DICIT prototype system processes multimodal user input by speech and remote control....
TAMODIA
2007
14 years 11 months ago
2007
In this paper we present a method and a supporting environment that allows remote evaluation of mobile applications. Various modules have been developed in order to gather contextu...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
HCI evaluation methods are useful for improving the design of interactive systems, yet they may be rejected by nontraditional technology disciplines such as media art. We have dev...
EICS
2009
ACM
15 years 4 months ago
2009
ACM
This paper evaluates the input performance capabilities of Velocity Threshold (I-VT) and Kalman Filter (I-KF) eye movement detection models when employed for eye-gaze-guided inter...