Sciweavers

3616 search results - page 550 / 724
» Support Tucker Machines
Sort
View
IFM
2004
Springer
15 years 11 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
ISMIR
2004
Springer
156views Music» more  ISMIR 2004»
15 years 11 months ago
Artist Classification with Web-Based Data
Manifold approaches exist for organization of music by genre and/or style. In this paper we propose the use of text categorization techniques to classify artists present on the In...
Peter Knees, Elias Pampalk, Gerhard Widmer
ISMIR
2004
Springer
118views Music» more  ISMIR 2004»
15 years 11 months ago
Learning to Align Polyphonic Music
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...
Shai Shalev-Shwartz, Joseph Keshet, Yoram Singer
165
Voted
ISMIR
2004
Springer
176views Music» more  ISMIR 2004»
15 years 11 months ago
The International Music Information Retrieval Systems Evaluation Laboratory: Governance, Access and Security
The IMIRSEL (International Music Information Retrieval Systems Evaluation Laboratory) project provides an unprecedented platform for evaluating Music Information Retrieval (MIR) a...
J. Stephen Downie, Joe Futrelle, David K. Tcheng
PAKDD
2004
ACM
131views Data Mining» more  PAKDD 2004»
15 years 11 months ago
A Tree-Based Approach to the Discovery of Diagnostic Biomarkers for Ovarian Cancer
Computational diagnosis of cancer is a classification problem, and it has two special requirements on a learning algorithm: perfect accuracy and small number of features used in t...
Jinyan Li, Kotagiri Ramamohanarao