1222 search results - page 156 / 245 » corr 2008 |
174
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
177
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In this paper we develop a general technique to eliminate the assumption of the Generalized Riemann Hypothesis (GRH) from various deterministic polynomial factoring algor...
154
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The German Federal Ministry for Education and Research funded a major terminology mapping initiative, which found its conclusion in 2007. The task of this terminology mapping initi...
155
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Bounds are derived on the noncoherent capacity of a very general class of multiple-input multiple-output fading channels that are selective in time and frequency as well as correla...
155
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
The first generation of European e-passports will be issued in 2006. We discuss how borders are crossed regarding the security and privacy erosion of the proposed schemes, and show...