5624 search results - page 569 / 1125 » On Conditional Covering Problem |
154
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Virtually all implementations of simulated annealing are simplified by assuming discrete unknowns, however continuous-parameter annealing has many potential applications to image ...
216
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a distributed machine learning framework based on support vector machines that allows classification problems to be solved iteratively through parallel update algorithm...
208
click to vote
ICML
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a unified duality view of several recently emerged spectral methods for nonlinear dimensionality reduction, including Isomap, locally linear embedding, Laplacian eigenm...
183
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
245
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...