4460 search results - page 857 / 892 » Formal methods for interactive systems |
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Web users have been employing numerous methods for recalling websites. Bookmarks have been around for some time, but the usefulness of such a system has been under question. The l...
CHI
2010
ACM
14 years 2 months ago
2010
ACM
CT This paper presents results from a study examining perceptions and practices of usability in the free/open source software (FOSS) community. 27 individuals associated with 11 di...
HUC
2009
Springer
14 years 7 days ago
2009
Springer
In this work we investigate eye movement analysis as a new modality for recognising human activity. We devise 90 different features based on the main eye movement characteristics:...
DAGSTUHL
2010
13 years 9 months ago
2010
We apply Knoll et al.'s algorithm [9] to interactively ray-cast constructive solid geometry (CSG) objects of arbitrary primitives represented as implicit functions. Whereas m...
HUC
2010
Springer
13 years 8 months ago
2010
Springer
Medication compliance is a critical component in the success of any medical treatment. However, only 50% of patients correctly adhere to their prescription regimens. Mobile and ub...