Sciweavers

216 search results - page 10 / 44
» Mathematical Context in Interactive Documents
Sort
View
CHI
1997
ACM
14 years 18 days ago
Focus+Context Visualization with Flip Zooming and the Zoom Browser
Flip zooming is a novel focus+context technique for visualizing large data sets. It offers an overview of the data, and gives users instant access to any part. Originally develope...
Lars Erik Holmquist
CIKM
2007
Springer
14 years 2 months ago
Utilizing a geometry of context for enhanced implicit feedback
Implicit feedback algorithms utilize interaction between searchers and search systems to learn more about users’ needs and interests than expressed in query statements alone. Th...
Massimo Melucci, Ryen W. White
ICCBSS
2005
Springer
14 years 1 months ago
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
Yan Jin, Jun Han
ITP
2010
178views Mathematics» more  ITP 2010»
13 years 10 months ago
Interactive Termination Proofs Using Termination Cores
Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and de...
Panagiotis Manolios, Daron Vroon
IUI
2010
ACM
14 years 3 months ago
From documents to tasks: deriving user tasks from document usage patterns
A typical knowledge worker is involved in multiple tasks and switches frequently between them every work day. These frequent switches become expensive because each task switch req...
Oliver Brdiczka