5414 search results - page 858 / 1083 » Exploratory Model Building |
157
Voted
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Entering search terms on mobile phones is a time consuming and cumbersome task. In this paper, we explore the usage patterns of query entry interfaces that display suggestions. Ou...
155
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
Information worlds continue to grow, posing daunting challenges for interfaces. This paper tries to increase our understanding of approaches to the problem, building on the Genera...
142
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
Although privacy is broadly recognized as a dominant concern for the development of novel interactive technologies, our ability to reason analytically about privacy in real settin...
285
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
144
click to vote
STOC
2001
ACM
16 years 5 months ago
2001
ACM
We consider static one dimensional range searching problems. These problems are to build static data structures for an integer set S U, where U = {0, 1, . . . , 2w - 1}, which su...