Sciweavers

500 search results - page 41 / 100
» Context models on sequences of covers
Sort
View
MTA
2006
296views more  MTA 2006»
13 years 9 months ago
The Cuidado music browser: an end-to-end electronic music distribution system
The IST project Cuidado, which started in January 2001, aims at producing the first entirely automatic chain for extracting and exploiting musical metadata for browsing music. The...
François Pachet, Jean-Julien Aucouturier, A...
EPEW
2008
Springer
13 years 10 months ago
State-Aware Performance Analysis with eXtended Stochastic Probes
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
Allan Clark, Stephen Gilmore
TAP
2008
Springer
94views Hardware» more  TAP 2008»
13 years 9 months ago
Vacuity in Testing
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
Thomas Ball, Orna Kupferman
NAACL
2003
13 years 10 months ago
Implicit Trajectory Modeling through Gaussian Transition Models for Speech Recognition
It is well known that frame independence assumption is a fundamental limitation of current HMM based speech recognition systems. By treating each speech frame independently, HMMs ...
Hua Yu, Tanja Schultz
EMMCVPR
2001
Springer
14 years 1 months ago
Designing the Minimal Structure of Hidden Markov Model by Bisimulation
Hidden Markov Models (HMMs) are an useful and widely utilized approach to the modeling of data sequences. One of the problems related to this technique is finding the optimal stru...
Manuele Bicego, Agostino Dovier, Vittorio Murino