Author of the publication

Experiments in using a theorem prover to prove and develop geometrical theorems in computer vision.

, and . ICRA, page 280-285. IEEE, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Interactive Indexing Into Image Databases.. Storage and Retrieval for Image and Video Databases (SPIE), volume 1908 of SPIE Proceedings, page 95-103. SPIE, (1993)Low resolution cues for guiding saccadic eye movements., , and . CVPR, page 737-740. IEEE, (1992)View-Based Techniques for Searching for Objects and Textures., , and . ACCV, volume 1035 of Lecture Notes in Computer Science, page 551-560. Springer, (1995)Navigation for Everyday Life., , and . AAAI/IAAI, Vol. 2, page 902-908. AAAI Press / The MIT Press, (1996)0-262-51091-X.Gesture recognition using the Perseus architecture., , , and . CVPR, page 734-741. IEEE Computer Society, (1996)Searching for Multimedia on the World Wide Web.. ICMCS, Vol. 1, page 32-37. IEEE Computer Society, (1999)The capacity of color histogram indexing., and . CVPR, page 704-708. IEEE, (1994)Programming CHIP for the IJCAI-95 Robot Competition., , , , and . AI Magazine, 17 (1): 71-81 (1996)Promising directions in active vision., and . Int. J. Comput. Vis., 11 (2): 109-126 (1993)GARGOYLE: An Environment for Real-Time, Context-Sensitive Active Vision., , , and . AAAI/IAAI, Vol. 2, page 930-937. AAAI Press / The MIT Press, (1996)0-262-51091-X.