8294 search results - page 1087 / 1659 » Presenting Data from Experiments in Algorithmics |
186
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
We address the problem of finding sparse wavelet representations of high-dimensional vectors. We present a lower-bounding technique and use it to develop an algorithm for computi...
173
click to vote
TSE
2008
15 years 7 months ago
2008
Buggy software is a reality and automated techniques for discovering bugs are highly desirable. A specification describes the correct behavior of a program. For example, a file mus...
189
click to vote
ASAP
2007
IEEE
16 years 1 months ago
2007
IEEE
Entropy encoding and decoding is a crucial part of any multimedia system that can be highly demanding in terms of computing power. Hardware implementation of typical compression a...
209
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
Epipolar geometry and relative camera pose computation for uncalibrated cameras with radial distortion has recently been formulated as a minimal problem and successfully solved in...
146
click to vote
PODS
2005
ACM
16 years 7 months ago
2005
ACM
We present a divide-and-merge methodology for clustering a set of objects that combines a top-down "divide" phase with a bottom-up "merge" phase. In contrast, ...