1284 search results - page 40 / 257 » On Helping and Interactive Proof Systems |
BCSHCI
2008
13 years 10 months ago
2008
Personas are a powerful design and communication tool to help all those involved in the creation of interactive systems to better focus their efforts on their users. A persona is ...
LICS
1994
IEEE
14 years 27 days ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
In this paper, we propose a general-purpose framework that harnesses the power of lightweight virtualization to track applications interactions in a scalable an efficient manner. ...
CHI
2011
ACM
13 years 10 days ago
2011
ACM
While many devices today increasingly have the ability to predict human activities, it is still difficult to build accurate personalized machine learning models. As users today wi...
EICS
2009
ACM
14 years 3 months ago
2009
ACM
Usage data logged from user interactions can be extremely valuable for evaluating software usability. However, instrumenting software to collect usage data is a time-intensive tas...