820 search results - page 127 / 164 » Finding low-utility data structures |
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
A unified approach for treating the scale selection problem in the anisotropic scale-space is proposed. The anisotropic scale-space is a generalization of the classical isotropic ...
ICCV
1999
IEEE
14 years 10 months ago
1999
IEEE
This paper examines the problem of reconstructing a voxelized representation of 3D space from a series of images. An iterative algorithm is used to find the scene model which join...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
Most previously proposed frequent graph mining algorithms are intended to find the complete set of all frequent, closed subgraphs. However, in many cases only a subset of the freq...
PPOPP
2009
ACM
14 years 9 months ago
2009
ACM
A stream processor executes an application that has been decomposed into a sequence of kernels that operate on streams of data elements. During the execution of a kernel, all stre...
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...