1511 search results - page 197 / 303 » Relational Parametricity for Computational Effects |
135
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
This article is concerned with the encouragement and promotion of the use of buses in Edinburgh, especially among visually impaired users and tourists / migrant workers. The repor...
157
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we describe a novel approach for searching large data sets from a mobile phone. Existing interfaces for mobile search require keyword text entry and are not suited f...
175
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Web usage mining, the analysis of user navigation paths through web sites, is a common technique for evaluating site designs or adaptive hypermedia techniques. However, often it i...
128
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Authoring tools routinely include a timeline representation to allow the author to specify the sequence of animations and interactions. However, traditional static timelines are b...
154
click to vote
HPCA
2005
IEEE
16 years 6 months ago
2005
IEEE
Due to the simulation time of the reference input set, architects often use alternative simulation techniques. Although these alternatives reduce the simulation time, what has not...