Search Sciweavers | Sciweavers

18155 search results - page 296 / 3631

» Point

207

click to vote

LICS
1999
IEEE

159views Automated Reasoning» more LICS 1999»

First-Order Logic vs. Fixed-Point Logic in Finite Set Theory

15 years 11 months ago

Download www.lsi.upc.es

The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...

Albert Atserias, Phokion G. Kolaitis

claim paper

Read More »

204

click to vote

EUROPAR
1999
Springer

210views Distributed And Parallel Com...» more EUROPAR 1999»

Vanishing Point Detection in the Hough Transform Space

15 years 11 months ago

Download www.csie.cyut.edu.tw

Andrea Matessi, Luca Lombardi

claim paper

Read More »

182

click to vote

ICCVW
1999
Springer

140views Computer Vision» more ICCVW 1999»

Characterizing the Performance of Multiple-Image Point-Correspondence Algorithms Using Self-Consistency

15 years 11 months ago

Download cvlab.epfl.ch

A new approach to characterizing the performance of point-correspondencealgorithmsis presented. Instead of relyingon any \ground truth', it uses the self-consistency of the o...

Yvan G. Leclerc, Quang-Tuan Luong, Pascal Fua

claim paper

Read More »

159

click to vote

ICIAP
1999
ACM

157views Image Processing» more ICIAP 1999»

3D Models of Architectural Scenes from Uncalibrated Images and Vanishing Points

15 years 11 months ago

Download mi.eng.cam.ac.uk

Roberto Cipolla, Duncan P. Robertson

claim paper