988 search results - page 10 / 198 » Tarski's system of geometry |
IJCV
2006
13 years 7 months ago
2006
Conventional vision systems and algorithms assume the imaging system to have a single viewpoint. However, these imaging systems need not always maintain a single viewpoint. For ins...
DIAGRAMS
2000
Springer
13 years 12 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
JCDL
2003
ACM
14 years 27 days ago
2003
ACM
This paper describes research to enhance the integration between digital models and the services provided by the document management systems of digital libraries. Processing techn...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes an integrated system for building a multiplanar model of the scene as the camera is localized on the fly. The core of this system is a robust and accurate pr...
IJCV
2002
13 years 7 months ago
2002
Abstract. In this paper we present an automatic hybrid matching system mixing images coming from central catadioptric systems and conventional cameras. We analyze three models of h...