4057 search results - page 229 / 812 » Linear combination of transformations |
178
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In recent work, several supervised spectral embedding procedures have been proposed. Although experimentally validated, the construction of these algorithms was rather ad hoc. Thi...
231
click to vote
KBSE
2007
IEEE
16 years 22 days ago
2007
IEEE
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
173
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
— In this paper we present a parameterized reduction technique for non-linear systems. Our approach combines an existing non-parameterized trajectory piecewise linear method for ...
133
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G
182
click to vote
ENTCS
2008
15 years 6 months ago
2008
Abstract. We give a method of constructing an interpolant for linear equality, and inequality constraints over the rational numbers. Our method is based on efficient rewriting tech...