3779 search results - page 101 / 756 » Linear Consistency Testing |
114
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal t...
138
click to vote
EUROCRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a new algorithm for upper bounding the maximum average linear hull probability for SPNs, a value required to determine provable security against linear cryptan...
121
click to vote
AIPS
2007
15 years 5 months ago
2007
We introduce the Linear Resource Temporal Network (LRTN), which consists of activities that consume or produce a resource, subject to absolute and relative metric temporal constra...
112
click to vote
CSC
2006
15 years 4 months ago
2006
: This work is about an algorithm for solving a linear program which is simple to apply. There are three algorithms in this work. The first algorithm solves a two-variable linear p...
108
click to vote
ENTCS
2008
15 years 3 months ago
2008
We describe some results inspired to Lafont's Soft Linear Logic (SLL) which is a subsystem of second-order linear logic with restricted rules for exponentials, correct and co...