Sciweavers

3228 search results - page 408 / 646
» Computationally Sound Proofs
Sort
View
127
Voted
CHI
2008
ACM
16 years 4 months ago
MySong: automatic accompaniment generation for vocal melodies
We introduce MySong, a system that automatically chooses chords to accompany a vocal melody. A user with no musical experience can create a song with instrumental accompaniment ju...
Ian Simon, Dan Morris, Sumit Basu
126
Voted
CHI
2006
ACM
16 years 4 months ago
Interaction in creative tasks
The design of tools for creative activities affects the creative processes and output of users. In this paper we consider how an understanding of creative interaction can inform t...
Tim Coughlan, Peter Johnson
114
Voted
CHI
2006
ACM
16 years 4 months ago
Virtual information piles for small screen devices
We describe an implementation that has users `flick' notes, images, audio, and video files onto virtual piles beyond the display of small-screen devices. This scheme allows P...
QianYing Wang, Tony Hsieh, Meredith Ringel Morris,...
108
Voted
CHI
2005
ACM
16 years 4 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
121
Voted
HPCA
2003
IEEE
16 years 4 months ago
A Statistically Rigorous Approach for Improving Simulation Methodology
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
Joshua J. Yi, David J. Lilja, Douglas M. Hawkins