Sciweavers

5269 search results - page 765 / 1054
» order 2007
Sort
View
BVAI
2007
Springer
16 years 28 days ago
Patterns of Binocular Disparity for a Fixating Observer
Abstract. Binocular information about the structure of a scene is contained in the relative positions of corresponding points in the two views. If the eyes rotate, in order to fix...
Miles E. Hansard, Radu Horaud
CAIP
2007
Springer
202views Image Analysis» more  CAIP 2007»
16 years 28 days ago
Segmentation of Distinct Homogeneous Color Regions in Images
Abstract. In this paper, we present a novel algorithm to detect homogeneous color regions in images. We show its performance by applying it to skin detection. In contrast to previo...
Daniel Mohr, Gabriel Zachmann
CAIP
2007
Springer
106views Image Analysis» more  CAIP 2007»
16 years 28 days ago
A New Manifold Representation for Visual Speech Recognition
In this paper, we propose a new manifold representation capable of being applied for visual speech recognition. In this regard, the real time input video data is compressed using P...
Dahai Yu, Ovidiu Ghita, Alistair Sutherland, Paul ...
CAV
2007
Springer
110views Hardware» more  CAV 2007»
16 years 28 days ago
Hector: Software Model Checking with Cooperating Analysis Plugins
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
Nathaniel Charlton, Michael Huth
CAV
2007
Springer
126views Hardware» more  CAV 2007»
16 years 28 days ago
Shape Analysis for Composite Data Structures
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino...