Sciweavers

11030 search results - page 77 / 2206
» Generative Sound Models
Sort
View
SPIN
2010
Springer
13 years 8 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
ISMIR
2005
Springer
157views Music» more  ISMIR 2005»
14 years 3 months ago
A Partial Searching Algorithm and Its Application for Polyphonic Music Transcription
This paper proposes an algorithm for studying spectral contents of pitched sounds in real-world recordings. We assume that the 2nd -order difference, w.r.t. partial index, of a pi...
Wen Xue, M. Sandler
IEEEMSP
2002
IEEE
115views Multimedia» more  IEEEMSP 2002»
14 years 2 months ago
Aerial communications using piano, clarinet, and bells
— This work explores novel mechanisms for aerial acoustic machine-machine communications. It builds on previous work by some of the authors [1], as well as others [2]. In this pa...
Natacha Domingues, Joáo Lacerda, Pedro M. Q...
ICPR
2008
IEEE
14 years 4 months ago
Generative models for fingerprint individuality using ridge models
Generative models of pattern individuality attempt to learn the distribution of observed quantitative features to determine the probability of two random patterns being the same. ...
Chang Su, Sargur N. Srihari
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
14 years 2 months ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay