3690 search results - page 352 / 738 » Computation with classical sequents |
162
click to vote
ISMIR
2004
Springer
16 years 6 days ago
2004
Springer
We describe a system designed for automatic extraction and segmentation of didjeridu and clapsticks from certain styles of traditional Aboriginal Australian music. For didjeridu, ...
173
click to vote
ISMIR
2004
Springer
16 years 6 days ago
2004
Springer
Record reviews provide a unique and focused source of linguistic data that can be related to musical recordings, to provide a basis for computational music understanding systems w...
181
click to vote
ISSAC
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we present a truncated version of the classical Fast Fourier Transform. When applied to polynomial multiplication, this algorithm has the nice property of eliminati...
159
click to vote
LATIN
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we investigate how it is possible to recover an automaton from a rational expression that has been computed from that automaton. The notion of derived term of an expr...
154
click to vote
LCTRTS
2004
Springer
16 years 5 days ago
2004
Springer
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...