Sciweavers

7106 search results - page 334 / 1422
» Restricted Complexity, General Complexity
Sort
View
QEST
2009
IEEE
15 years 11 months ago
Language-Level Symmetry Reduction for Probabilistic Model Checking
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
Alastair F. Donaldson, Alice Miller, David Parker
IMA
2009
Springer
113views Cryptology» more  IMA 2009»
15 years 11 months ago
On Linear Cryptanalysis with Many Linear Approximations
Abstract. In this paper we present a theoretical framework to quantify the information brought by several linear approximations of a blockcipher without putting any restriction on ...
Benoît Gérard, Jean-Pierre Tillich
122
Voted
ICASSP
2008
IEEE
15 years 11 months ago
Parametric estimation of affine deformations of binary images
We consider the problem of planar object registration on binary images where the aligning transformation is restricted to the group of affine transformations. Previous approaches...
Csaba Domokos, Zoltan Kato, Joseph M. Francos
AINA
2007
IEEE
15 years 11 months ago
A Flexible Scheduling Framework for Deeply Embedded Systems
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...
Karsten Walther, Jörg Nolte
ICC
2007
IEEE
102views Communications» more  ICC 2007»
15 years 11 months ago
Application of Cumulant Method In Performance Evaluation of Turbo-Like Codes
In this article, a new method for performance evaluation of Turbo-like codes is presented. This is based on estimating the Probability Density Function (pdf) of the bit Log-Likelih...
Ali Abedi, Mary E. Thompson, Amir K. Khandani