8903 search results - page 1431 / 1781 » Alternative |
216
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
A large number of vision applications rely on matching keypoints across images. The last decade featured an arms-race towards faster and more robust keypoints and association algo...
188
click to vote
TVCG
2012
13 years 9 months ago
2012
— Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...
205
click to vote
TVCG
2012
13 years 9 months ago
2012
—The Reeb graph of a scalar function represents the evolution of the topology of its level sets. This paper describes a near-optimal output-sensitive algorithm for computing the ...
384
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
193
click to vote
SPAA
2012
ACM
13 years 9 months ago
2012
ACM
We present a highly-scalable non-blocking producer-consumer task pool, designed with a special emphasis on lightweight synchronization and data locality. The core building block o...