6800 search results - page 1114 / 1360 » Testing with Functions as Specifications |
109
Voted
NIME
2005
Springer
15 years 10 months ago
2005
Springer
The breath pressure signal applied to wind music instruments is generally considered to be a slowly varying function of time. In a context of music control, this assumption implie...
121
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
d Abstract] Mengzhi Wang, Kinman Au, Anastassia Ailamaki, Anthony Brockwell, Christos Faloutsos, and Gregory R. Ganger Carnegie Mellon University This work explores the applicatio...
183
Voted
CMMR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present algorithms for the automatic timesynchronization of score-, MIDI- or PCM-data streams which represent the same polyphonic piano piece. In contras...
125
Voted
ESA
2004
Springer
15 years 10 months ago
2004
Springer
We study polynomials of degree up to 4 over the rationals or a computable real subfield. Our motivation comes from the need to evaluate predicates in nonlinear computational geome...
128
Voted
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
Verifying the published results of algorithms is part of the usual research process. This helps to both validate the existing literature, but also quite often allows for new insigh...