8795 search results - page 1547 / 1759 » Measuring Generality of Documents |
169
click to vote
STOC
2012
ACM
13 years 7 months ago
2012
ACM
We give the first time-space tradeoff lower bounds for Resolution proofs that apply to superlinear space. In particular, we show that there are formulas of size N that have Reso...
165
click to vote
Presentation
Transit services are currently facing several challenges in the United States and around the
world. For many reasons, among which the fluctuations in gas prices and the state of t...
152
click to vote
CVPR
2003
IEEE
16 years 6 months ago
2003
IEEE
We wish to match sets of images to sets of images where both sets are undergoing various distortions such as viewpoint and lighting changes. To this end we have developed a Joint ...
126
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...
141
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
The state-of-the-art object detection algorithm learns a binary classifier to differentiate the foreground object from the background. Since the detection algorithm exhaustively s...