4100 search results - page 122 / 820 » General Linear Cameras |
137
click to vote
ICTAC
2007
Springer
15 years 10 months ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...
146
click to vote
ICISC
2009
15 years 2 months ago
2009
The SOSEMANUK stream cipher is one of the finalists of the eSTREAM project. In this paper, we improve the linear cryptanalysis of SOSEMANUK presented in Asiacrypt 2008. We apply th...
107
click to vote
ISCAS
2007
IEEE
2007
IEEE
Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real Transformations
15 years 10 months ago
Abstract— This paper discusses the behavior of the secondorder modes of linear continuous-time systems under variable transformations with positive-real functions. We first disc...
143
click to vote
NIPS
2008
15 years 5 months ago
2008
This work characterizes the generalization ability of algorithms whose predictions are linear in the input vector. To this end, we provide sharp bounds for Rademacher and Gaussian...
141
click to vote
SODA
2000
ACM
15 years 5 months ago
2000
ACM
This paper shows that the minimum ratio canceling algorithm of Wallacher (1989) (and a faster relaxed version) can be generalized to an algorithm for general linear programs with ...