5128 search results - page 197 / 1026 » Discrete Component Analysis |
115
click to vote
FOCS
2005
IEEE
15 years 9 months 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 â...
119
click to vote
ICML
2010
IEEE
15 years 4 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...
141
Voted
MOC
1998
15 years 3 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...
245
Voted
CADE
2007
Springer
16 years 3 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...
123
Voted
ICCS
2005
Springer
15 years 9 months 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)...