2032 search results - page 302 / 407 » Encodings of the Sequence Constraint |
169
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
The geometry of plane-based calibration methods is well understood, but some user interaction is often needed in practice for feature detection. This paper presents a fully automa...
176
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper presents a method for camera pose tracking that uses a partial knowledge about the scene. The method is based on monocular vision Simultaneous Localization And Mapping ...
134
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Traditional image-based mosaicing deals with the problem of parallax by imposing constraints of a parallax-free camera configuration or requiring a dense sampling of the scene. Th...
175
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
We present a comparison between a voxel based approach and a region based technique for detecting brain activation signals in sequences of functional Magnetic Resonance Images (fMR...
161
click to vote
CADE
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...