8621 search results - page 272 / 1725 » Interaction Design |
157
click to vote
MM
2006
ACM
16 years 21 days ago
2006
ACM
We present the AV-ZoomSlider interface for video browsing. It complements existing approaches, such as storyboards and video skims by enabling users to interactively navigate alon...
182
Voted
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present a search interface for large video collections with time-aligned text transcripts. The system is designed for users such as intelligence analysts that need to quickly f...
146
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This paper proposes the use of an interaction modeling language called MoLIC to graphically represent scenarios as an additional resource in software development. MoLIC brings hum...
183
click to vote
JANCL
2006
15 years 6 months ago
2006
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
214
click to vote
ACMIDC
2008
15 years 8 months ago
2008
I develop technological tools to help communities of children creatively solve problems as they program computers. The Hook-ups project introduces computational tools that support...