54 search results - page 6 / 11 » el 2011 |
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
Polish is a synthetic language with a high morpheme-perword ratio. It makes use of a high degree of inflection leading to high out-of-vocabulary (OOV) rates, and high Language Mo...
ICANNGA
2011
Springer
12 years 6 months ago
2011
Springer
ECU (Electric Circuit Unit) is a type of embedded system that is used in automobiles to perform different functions. The synthesis process of ECU requires that the hardware should...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
In this paper, we derive the Multidimensional Statistical Resolution Limit (MSRL) to resolve two closely spaced targets using a widely spaced MIMO radar. Toward this end, we perfo...
CRYPTO
2011
Springer
12 years 6 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. In the first part of this article we introduce the notion of a backwardforward conditioning (BFC) system that generalises the notion of zero-class admissibiliy introduce...