11030 search results - page 232 / 2206 » Generative Sound Models |
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...
164
click to vote
IRFC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
287
click to vote
SPEECH
2011
15 years 1 months ago
2011
We describe a system for separating multiple sources from a two-channel recording based on interaural cues and prior knowledge of the statistics of the underlying source signals. ...
277
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
163
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Being able to animate a speech production model with articulatory data would open applications in many domains. In this paper, we first consider the problem of acquiring articula...