3006 search results - page 166 / 602 » Overview |
100
Voted
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an overview of different approaches to melody segmentation aimed at extracting music lexical units, which can be used as content descriptors of music documents...
118
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...
118
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
113
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
The MoDELS Doctoral Symposium brought together nine doctoral students and five mentors to spend a day discussing student research presentations. A truly international representatio...
107
Voted
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
Sensor networks consist of resource-constrained sensors operating in a variety of environments. Given the severe constraints on these sensors, it is a particularly challenging pro...