4098 search results - page 113 / 820 » Sound mobility models |
137
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
112
click to vote
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
140
Voted
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper, we explore an application of basis pursuit to audio scene analysis. The goal of our work is to detect when certain sounds are present in a mixed audio signal. We fo...
114
Voted
FOAL
2009
ACM
15 years 10 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
146
click to vote
COST
2007
Springer
15 years 10 months ago
2007
Springer
The organization of a computational control model of articulatory speech synthesis is outlined in this paper. The model is based on general principles of neurophysiology and cognit...