Sciweavers

2749 search results - page 445 / 550
» Usability of interaction patterns
Sort
View
CHI
2005
ACM
16 years 6 months ago
ImproViz: visual explorations of jazz improvisations
ImproViz is a visualization technique for diagramming music that brings to light the signature patterns of a jazz musician's improvisational style. ImproViz consists of two p...
Jon Snydal, Marti A. Hearst
CHI
2004
ACM
16 years 6 months ago
A study of digital ink in lecture presentation
Digital inking systems are becoming increasingly popular across a variety of domains. In particular, many systems now allow instructors to write on digital surfaces in the classro...
Richard J. Anderson, Crystal Hoyer, Steven A. Wolf...
CHI
2004
ACM
16 years 6 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
CADE
2005
Springer
16 years 6 months ago
Proof Planning for First-Order Temporal Logic
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
Claudio Castellini, Alan Smaill
SIGMOD
2008
ACM
109views Database» more  SIGMOD 2008»
16 years 6 months ago
Extreme visualization: squeezing a billion records into a million pixels
Database searches are usually performed with query languages and form fill in templates, with results displayed in tabular lists. However, excitement is building around dynamic qu...
Ben Shneiderman