11030 search results - page 207 / 2206 » Generative Sound Models |
236
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A key problem in using the output of an auditory model as the input to a machine-learning system in a machine-hearing application is to find a good feature-extraction layer. For ...
173
click to vote
PKC
2012
Springer
13 years 8 months ago
2012
Springer
We identify a potential weakness in the standard security model for dynamic group signatures which appears to have been overlooked previously. More specifically, we highlight tha...
164
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
184
click to vote
FAC
2010
15 years 3 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
160
click to vote
CPP
2011
14 years 6 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...