1604 search results - page 152 / 321 » Development Separation in Lambda-Calculus |
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
Modern approaches to speaker recognition (verification) operate in a space of “supervectors” created via concatenation of the mean vectors of a Gaussian mixture model (GMM) a...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The application of joint source-channel coding, based on fountain codes, in the broadcast timeslot of wireless two-way network coding is investigated in this paper. A computationa...
ICALT
2011
IEEE
12 years 10 months ago
2011
IEEE
—this work addresses issues relevant to the project CLES (Cognitive and Linguistic Element Stimulation) which aims to develop a serious game for diagnosis and training of childre...
PLDI
2012
ACM
12 years 1 months ago
2012
ACM
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...