3228 search results - page 585 / 646 » Computationally Sound Proofs |
MIR
2010
ACM
14 years 3 months ago
2010
ACM
This paper discusses two sets of automatic musical genre classification experiments. Promising research directions are then proposed based on the results of these experiments. The...
TEI
2010
ACM
14 years 3 months ago
2010
ACM
This paper introduces a tool known as the Haptic Drum Kit, which employs four computer-controlled vibrotactile devices, one attached to each wrist and ankle. In the applications d...
DEXA
2009
Springer
14 years 3 months ago
2009
Springer
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
SIGIR
2009
ACM
14 years 3 months ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper presents the prototype of an expert peering system for information exchange in the knowledge society. Our system realizes an intelligent, real-time search engine for...