Where Do Logic and Computer Vision Meet?

Marco Aiello and Arnold Smeulders

Faculty of WINS
Department of Computer Science & Logic
University of Amsterdam
Kruislaan 413
1098 SJ Amsterdam
aiellom@wins.uva.nl, http://www.wins.uva.nl/~aiellom
smeulders@wins.uva.nl, http://www.wins.uva.nl/~smeulder

Abstract

In this position paper, after giving a short overview of computer vision, we argue for the need of considering applications while devising theories that deal with space. We present the spatial coherence constraint, which is imposed by nature on vision. Finally, we suggest a possible bridge to connect computer vision with spatial reasoning.

Dvi-file (needs the files mehdi.ps and netscape.epsi)
PS-File
PDF-File
Bibtex Entry

Johan and Marco at Henry Coe National Park (June '99)

Arnold (right picture © Peter van Emde Boas)

Throughout this book most of the qualities that make Johan a unique and exceptional man become evident. But one is still to be discovered. His abilities as a classical dancer.

Here, Johan in a step of the famous Oreo Dance.

Johan and Maria (Aloni), planning and planning and planning.
How many *miles* will they cover?

Go with
the mouse
over the picture
to see
the next step.

Wan (Fokkink), Maria (Aloni), Johan and Rob (van Glabbeek).