Sciweavers

920 search results - page 40 / 184
» Visual Graphs
Sort
View
ECEASST
2006
72views more  ECEASST 2006»
13 years 10 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
CVPR
2003
IEEE
15 years 16 hour ago
Extracting Dense Features for Visual Correspondence with Graph Cuts
We present a method for extracting dense features from stereo and motion sequences. Our dense feature is defined symmetrically with respect to both images, and it is extracted dur...
Olga Veksler
ICPR
2008
IEEE
14 years 4 months ago
Model-based visual self-localization using geometry and graphs
In this paper, a geometric approach for global selflocalization based on a world-model and active stereo vision is introduced. The method uses class specific object recognition a...
David Israel Gonzalez-Aguirre, Tamim Asfour, Eduar...
ICAT
2007
IEEE
14 years 4 months ago
"Space Frames": Using space, color and animation in the visualization of complex graph systems
This study concerns the development of 3D interfaces that aid the navigation of large data structures through the usage of the HSV color space, and the ensuing “spatial frames...
Elif E. Ayiter, Selim Balcisoy, Murat Germen, Isma...
CVPR
2007
IEEE
15 years 15 hour ago
On-line Simultaneous Learning and Tracking of Visual Feature Graphs
Model learning and tracking are two important topics in computer vision. While there are many applications where one of them is used to support the other, there are currently only...
Arnaud Declercq, Justus H. Piater