904 search results - page 136 / 181 » Towards practical meta-querying |
ISMIR
2005
Springer
15 years 3 months ago
2005
Springer
In order to train and test algorithms that can automatically detect drum events in polyphonic music, ground truth data is needed. This paper describes a setup used for gathering m...
PROMAS
2005
Springer
15 years 3 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
ACMDIS
2004
ACM
15 years 3 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
SIGCSE
2004
ACM
15 years 3 months ago
2004
ACM
Educators are increasingly acknowledging that practical problems in computer science demand basic competencies in experimentation and data analysis. However, little effort has bee...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...