3228 search results - page 428 / 646 » Computationally Sound Proofs |
126
Voted
MHCI
2004
Springer
15 years 9 months ago
2004
Springer
Sound is an important medium in our lives, but its ephemeral nature can be problematic when people cannot recall something they heard in the past. Motivated by everyday conversatio...
135
Voted
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
146
Voted
MM
2003
ACM
15 years 8 months ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
192
Voted
MM
2003
ACM
15 years 8 months ago
2003
ACM
We present a new model of interactive audio for entertainment and communication. A new device called the DJammer and its associated technologies are described. The DJammer introdu...
112
click to vote
CA
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a new method for editing an existing motion to satisfy a set of user-specified constraints, and in doing so guaranteeing the kinematic and dynamic soundness o...