8624 search results - page 299 / 1725 » Interaction design in the university: designing disciplinary... |
185
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...
161
click to vote
MM
2006
ACM
16 years 22 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...
139
Voted
ICDCSW
2005
IEEE
16 years 11 days ago
2005
IEEE
We present an interaction device for navigating data structures or browsing menus using only one hand. It is especially designed for situations in which the user wears gloves that...
152
click to vote
MM
2004
ACM
16 years 6 days ago
2004
ACM
Today’s interfaces for time-scaled audio replay have limitations especially regarding highly interactive tasks such as skimming and searching, which require quick temporary spee...
161
click to vote
ECAL
2003
Springer
16 years 2 hour ago
2003
Springer
Abstract. We propose an ecosystem of self-replicating cellular automaton loops by designing new rules for interactions between individual loops. The loops interact competitively wi...