Sciweavers

1546 search results - page 258 / 310
» Context-Aware Computing with Sound
Sort
View
MIR
2005
ACM
115views Multimedia» more  MIR 2005»
15 years 10 months ago
Inferring similarity between music objects with application to playlist generation
The growing libraries of multimedia objects have increased the need for applications that facilitate search, browsing, discovery, recommendation and playlist construction. Many of...
Robert Ragno, Christopher J. C. Burges, Cormac Her...
MM
2005
ACM
157views Multimedia» more  MM 2005»
15 years 10 months ago
Natural language processing of lyrics
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...
Jose P. G. Mahedero, Alvaro Martinez, Pedro Cano, ...
SIGIR
2005
ACM
15 years 10 months ago
A phonotactic-semantic paradigm for automatic spoken document classification
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
Bin Ma, Haizhou Li
FOSSACS
2005
Springer
15 years 10 months ago
Duality for Logics of Transition Systems
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
Marcello M. Bonsangue, Alexander Kurz
FSTTCS
2005
Springer
15 years 10 months ago
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saras...