Sciweavers

7747 search results - page 1311 / 1550
» From Information Retrieval to Information Interaction
Sort
View
CHI
2004
ACM
16 years 7 months ago
Dealing with mobile conversations in public places: some implications for the design of socially intrusive technologies
In this paper we describe the results of a study investigating the behaviour and views of bystanders in response to a proximal mobile telephone conversation by a third party. Anal...
Steve Love, Mark Perry
CHI
2004
ACM
16 years 7 months ago
User profiling
A number of global trends have a large influence on the way we use technology in our life and work, like: ? increasing connectivity and connected devices (any time, any place, any...
Johan Schuurmans, Boris E. R. de Ruyter, Harry van...
CHI
2002
ACM
16 years 7 months ago
Evaluating the effectiveness of spatial memory in 2D and 3D physical and virtual environments
User interfaces can improve task performance by exploiting the powerful human capabilities for spatial cognition. This opportunity has been demonstrated by many prior experiments....
Andy Cockburn, Bruce J. McKenzie
CHI
2001
ACM
16 years 7 months ago
Using thumbnails to search the Web
We introduce a technique for creating novel, textuallyenhanced thumbnails of Web pages. These thumbnails combine the advantages of image thumbnails and text summaries to provide c...
Allison Woodruff, Andrew Faulring, Ruth Rosenholtz...
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
16 years 3 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
« Prev « First page 1311 / 1550 Last » Next »