5180 search results - page 359 / 1036 » Concurrency, Time, and Constraints |
185
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Matching local features across images is often useful when comparing or recognizing objects or scenes, and efficient techniques for obtaining image-to-image correspondences have b...
170
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
The earth mover's distance (EMD) [16] is an important perceptually meaningful metric for comparing histograms, but it suffers from high (O(N3 log N)) computational complexity...
175
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
The Random Sample Consensus (RANSAC) algorithm is a popular tool for robust estimation problems in computer vision, primarily due to its ability to tolerate a tremendous fraction o...
202
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
204
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...