3256 search results - page 110 / 652 » Learning Linear Transformations |
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
INDOCRYPT
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In MyCrypt 2005, Augot, Finiasz, and Sendrier proposed FSB, a family of cryptographic hash functions. The security claim of the FSB hashes is based on a coding theory pro...
AUTOMATICA
2006
13 years 9 months ago
2006
This paper considers the robustness of stochastic stability of Markovian jump linear systems in continuous- and discrete-time with respect to their transition rates and probabilit...
AUTOMATICA
2005
13 years 9 months ago
2005
Based on a recent duality theory for linear differential inclusions (LDIs), the condition for stability of an LDI in terms of one Lyapunov function can be easily derived from that...
ECCV
2010
Springer
13 years 10 months ago
2010
Springer
In this paper, we present a method for object of interest detection. This method is statistical in nature and hinges in a model which combines salient features using a mixture of l...