2042 search results - page 345 / 409 » Variable Number of |
ECCV
2006
Springer
16 years 24 days ago
2006
Springer
We propose a fast algorithm, EMD-L1, for computing the Earth Mover's Distance (EMD) between a pair of histograms. Compared to the original formulation, EMD-L1 has a largely si...
100
Voted
COLT
2005
Springer
15 years 4 months ago
2005
Springer
We present a general decomposition algorithm that is uniformly applicable to every (suitably normalized) instance of Convex Quadratic Optimization and efficiently approaches an o...
96
Voted
ICSE
2010
IEEE-ACM
15 years 28 days ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
87
Voted
BIOINFORMATICS
2006
14 years 11 months ago
2006
Motivation: High-throughput technologies for rapid measurement of vast numbers of biological variables offer the potential for highly discriminatory diagnosis and prognosis; howev...
IJFCS
2006
14 years 11 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...