1433 search results - page 236 / 287 » imaging 2000 |
ICALP
2000
Springer
13 years 11 months ago
2000
Springer
We show the decidability of model checking PA-processes against several first-order logics based upon the reachability predicate. The main tool for this result is the recognizabil...
ICMI
2000
Springer
13 years 11 months ago
2000
Springer
A system is proposed to recognize handwritten numerals in both Devnagri (Hindi) and English. It is assumed at a time the numerals will be of one of the above two scripts and there...
BMVC
2000
13 years 9 months ago
2000
A new parameter estimation method is presented, applicable to many computer vision problems. It operates under the assumption that the data (typically image point locations) are a...
BMVC
2000
13 years 9 months ago
2000
This paper describes a system which automatically derives 3D models of architectural scenes from multiple images. This system differs from previous structure from motion algorithm...
BMVC
2000
13 years 9 months ago
2000
This paper describes a novel approach for recovering the structure and motion of a rigid textured surface from an image sequence. Camera focal length is also recovered, yielding m...