Sciweavers

3889 search results - page 445 / 778
» A Framework for Optimizing Paper Matching
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Infinite-state spectrum model for music signal analysis
This paper presents a nonparametric Bayesian extension of nonnegative matrix factorization (NMF) for music signal analysis. Instrument sounds often exhibit non-stationary spectral...
Masahiro Nakano, Jonathan Le Roux, Hirokazu Kameok...
ICCV
2011
IEEE
14 years 5 months ago
Correspondence Free Registration through a Point-to-Model Distance Minimization
This paper presents a novel formulation, which derives in a smooth minimization problem, to tackle the rigid registration between a given point set and a model set. Unlike most of ...
Mohammad Rouhani and Angel D. Sappa
ICSE
1997
IEEE-ACM
15 years 10 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
GECCO
2007
Springer
173views Optimization» more  GECCO 2007»
16 years 26 days ago
UCSpv: principled voting in UCS rule populations
Credit assignment is a fundamental issue for the Learning Classifier Systems literature. We engage in a detailed investigation of credit assignment in one recent system called UC...
Gavin Brown, Tim Kovacs, James A. R. Marshall
BMCBI
2005
158views more  BMCBI 2005»
15 years 6 months ago
Automated generation of heuristics for biological sequence comparison
Background: Exhaustive methods of sequence alignment are accurate but slow, whereas heuristic approaches run quickly, but their complexity makes them more difficult to implement. ...
Guy St. C. Slater, Ewan Birney