1982 search results - page 235 / 397 » Parametricity and dependent types |
214
click to vote
ICSAP
2010
15 years 3 months ago
2010
Security being the major concern during data transfers, we have various challenges to face. The requirements of the security model vary depending on the type of data to be encrypte...
199
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this work, the RWTH automatic speech recognition systems for English and German for the second Quaero evaluation campaign 2009 are presented. The systems are designed to transc...
181
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Distributed microphone systems in cars usually provide dedicated microphones for several speakers where each microphone captures the desired speech signal at the best. The signal ...
164
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Feedback of channel state information (CSI) is necessary to achieve high throughput and low outage probability in multiuser multiantenna systems. There are two types of CSI: direc...
159
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
The paper discusses the matching of two multispectral data sets using the Genetic Algorithm (GA) as a search technique for the global optimum estimates of the transformation param...