2877 search results - page 162 / 576 » The Complexity of Planarity Testing |
136
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
169
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Multi-view stereo (MVS) algorithms now produce reconstructions
that rival laser range scanner accuracy. However,
stereo algorithms require textured surfaces, and therefore
work ...
125
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Matching points between multiple images of a scene is a vital component of many computer vision tasks. Point matching involves creating a succinct and discriminative descriptor fo...
122
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We describe a realtime system for finding and tracking unstructured paths in off-road conditions. The system was designed as part of the recent Darpa Grand Challenge and was teste...
120
click to vote
ICCV
1999
IEEE
16 years 6 months ago
1999
IEEE
We describe two direct quasilinear methods for camera pose (absolute orientation) and calibration from a single image of 4 or 5 known 3D points. They generalize the 6 point `Direc...