Sciweavers

652 search results - page 26 / 131
» Linear Explicit Substitutions
Sort
View
ASIACRYPT
2004
Springer
14 years 29 days ago
How Far Can We Go Beyond Linear Cryptanalysis?
Abstract. Several generalizations of linear cryptanalysis have been proposed in the past, as well as very similar attacks in a statistical point of view. In this paper, we define ...
Thomas Baignères, Pascal Junod, Serge Vaude...
MSCS
2007
91views more  MSCS 2007»
13 years 7 months ago
A rewriting calculus for cyclic higher-order term graphs
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
IPPS
2009
IEEE
14 years 2 months ago
Fast development of dense linear algebra codes on graphics processors
—We present an application programming interface (API) for the C programming language that facilitates the development of dense linear algebra algorithms on graphics processors a...
M. Jesús Zafont, Alberto F. Martín, ...
CDC
2010
IEEE
125views Control Systems» more  CDC 2010»
13 years 2 months ago
Towards robust Lie-algebraic stability conditions for switched linear systems
This paper presents new sufficient conditions for exponential stability of switched linear systems under arbitrary switching, which involve the commutators (Lie brackets) among the...
Andrei A. Agrachev, Yuliy Baryshnikov, Daniel Libe...
CVPR
2008
IEEE
14 years 9 months ago
Linear motion estimation for systems of articulated planes
In this paper, we describe the explicit application of articulation constraints for estimating the motion of a system of planes. We relate articulations to the relative homography...
Ankur Datta, Yaser Sheikh, Takeo Kanade