ACM Computing Surveys (CSUR)
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
A Study on Stereo and Motion Data Accuracy for a Moving Platform
Proceedings of the FIRA RoboWorld Congress 2009 on Advances in Robotics
ISMM '09 Proceedings of the 9th International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing
Stereo depth estimation using synchronous optimization with segment based regularization
Pattern Recognition Letters
Benchmarking stereo data (not the matching algorithms)
Proceedings of the 32nd DAGM conference on Pattern recognition
Ground truth evaluation of stereo algorithms for real world applications
ACCV'10 Proceedings of the 2010 international conference on Computer vision - Volume part II
Illumination invariant cost functions in semi-global matching
ACCV'10 Proceedings of the 2010 international conference on Computer vision - Volume part II
Evaluation of a new coarse-to-fine strategy for fast semi-global stereo matching
PSIVT'11 Proceedings of the 5th Pacific Rim conference on Advances in Image and Video Technology - Volume Part I
Iterative semi-global matching for robust driver assistance systems
ACCV'12 Proceedings of the 11th Asian conference on Computer Vision - Volume Part III
Hierarchical scan-line dynamic programming for optical flow using semi-global matching
ACCV'12 Proceedings of the 11th international conference on Computer Vision - Volume 2
Hi-index | 0.00 |
In this paper we present a type inference method for Prolog programs. The new idea is to describe a superset of the success set by associating a type substitution (an assignment of sets of ground terms to variables) with each head of definite clause. ...