11030 search results - page 84 / 2206 » Generative Sound Models |
105
click to vote
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
An audio recording is subject to a number of possible distortions and artifacts. For example, the persistence of sound, due to multiple reflections from various surfaces in a roo...
103
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
FUIN
2006
15 years 1 months ago
2006
We study concurrent processes modelled as workflow Petri nets extended with resource constraints. We define a behavioural correctness criterion called soundness: given a sufficient...
122
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
116
click to vote
ISSRE
2006
IEEE
15 years 8 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...