2137 search results - page 413 / 428 » Experiments on Graph Clustering Algorithms |
161
click to vote
PPOPP
1997
ACM
15 years 9 months ago
1997
ACM
As shared-memory multiprocessors become the dominant commodity source of computation, parallelizing compilers must support mainstream computations that manipulate irregular, point...
145
click to vote
IJFCS
2006
15 years 5 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...
152
click to vote
TROB
2002
15 years 4 months ago
2002
This paper uses a configuration space ( -space) based method to compute interference-free configuration for stacking polyhedral sheet metal parts. This work forms the interference ...
146
click to vote
TCSV
2010
14 years 11 months ago
2010
We propose a new distance measure for face recognition and human gait recognition. Each probe image (a face image or an average human silhouette image) is represented as a set of ...
129
Voted
MM
2006
ACM
15 years 11 months ago
2006
ACM
Many emerging applications such as video sensor monitoring can benefit from an on-line video correlation system, which can be used to discover linkages between different video s...