Sciweavers

1592 search results - page 98 / 319
» On the Equality of Probabilistic Terms
Sort
View
ISCAS
2005
IEEE
148views Hardware» more  ISCAS 2005»
15 years 3 months ago
. Analog slice turbo decoding
— This paper presents the design of an analog turbo decoder for DVB-RCS-like applications using a slice architecture. The constituent decoders for different frame lengths are mad...
Matthieu Arzel, Cyril Lahuec, Fabrice Seguin, Davi...
ICNC
2005
Springer
15 years 3 months ago
Typing Aberrance in Signal Transduction
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Li...
LPAR
2005
Springer
15 years 3 months ago
Algebraic Intruder Deductions
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...
David A. Basin, Sebastian Mödersheim, Luca Vi...
BIRTHDAY
1991
Springer
15 years 1 months ago
Modal Logic Should Say More Than It Does
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
Melvin Fitting
CORR
2007
Springer
123views Education» more  CORR 2007»
14 years 10 months ago
Achieving the Gaussian Rate-Distortion Function by Prediction
Abstract— The “water-filling” solution for the quadratic ratedistortion function of a stationary Gaussian source is given in terms of its power spectrum. This formula natura...
Ram Zamir, Yuval Kochman, Uri Erez