Sciweavers

7195 search results - page 768 / 1439
» On Computing Power
Sort
View
CIKM
2009
Springer
16 years 2 days ago
Density-based clustering using graphics processors
During the last few years, GPUs have evolved from simple devices for the display signal preparation into powerful coprocessors that do not only support typical computer graphics t...
Christian Böhm, Robert Noll, Claudia Plant, B...
ICCV
2011
IEEE
14 years 7 months ago
Contextual Weighting for Vocabulary Tree based Image Retrieval
In this paper we address the problem of image retrieval from millions of database images. We improve the vocabulary tree based approach by introducing contextual weighting of loca...
Xiaoyu Wang, Ming Yang, Timothee Cour, Shenghuo Zh...
SAT
2009
Springer
153views Hardware» more  SAT 2009»
16 years 2 months ago
Does Advice Help to Prove Propositional Tautologies?
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...
Olaf Beyersdorff, Sebastian Müller
CVPR
2010
IEEE
16 years 1 months ago
Contour People: A Parameterized Model of 2D Articulated Human Shape
We define a new “contour person” model of the human body that has the expressive power of a detailed 3D model and the computational benefits of a simple 2D part-based model....
Oren Freifeld, Alex Weiss, Silvia Zuffi, Michael B...
CSR
2006
Springer
15 years 11 months ago
Incremental Branching Programs
We propose a new model of restricted branching programs specific to solving GEN problems, which we call incremental branching programs. We show that syntactic incremental branchin...
Anna Gál, Michal Koucký, Pierre McKe...