1157 search results - page 140 / 232 » Contextual Prototyping of User Interfaces |
JAR
2010
14 years 8 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
PUC
2010
14 years 4 months ago
2010
People record and share their experiences through text, audio and video. Increasingly they do this blogging from mobile devices. We illustrate a novel, mobile, low interaction cos...
CHI
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes a research approach to the experimental study of emotional experiences and their connections to other components of user experience in human-technology intera...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
Many mobile phones integrate services such as personal calendars. Given the social nature of the stored data, however, users often need to access such information as part of a pho...
CHI
2008
ACM
15 years 10 months ago
2008
ACM
Displaying scanned book pages in a web browser is difficult, due to an array of characteristics of the common user's configuration that compound to yield text that is degrade...