10891 search results - page 1679 / 2179 » Combining Model Reductions |
170
Voted
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
155
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
This paper concerns both rhythm recognition and tempo analysis of expressive music performance based on a probabilistic approach. In rhythm recognition, the modern continuous spee...
116
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
162
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
158
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
Time synchronization is necessary in many distributed systems, but achieving synchronization in sensornets, which combine stringent precision requirements with severe resource con...