5128 search results - page 197 / 1026 » Discrete Component Analysis |
162
click to vote
FOCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Various new nonembeddability results (mainly into L1) are proved via Fourier analysis. In particular, it is shown that the Edit Distance on {0, 1}d has L1 distortion (log d) 1 2 â...
160
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We introduce new, efficient algorithms for value iteration with multiple reward functions and continuous state. We also give an algorithm for finding the set of all nondominated a...
187
click to vote
MOC
1998
15 years 6 months ago
1998
This paper contains error estimates for covolume discretizations of Maxwell’s equations in three space dimensions. Several estimates are proved. First, an estimate for a semi-dis...
297
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
179
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
The Continuation of Invariant Subspaces (CIS) algorithm produces a smoothly varying basis for an invariant subspace R(s) of a parameter-dependent matrix A(s). In the case when A(s)...