Sciweavers

1794 search results - page 176 / 359
» Visualizing Memory Graphs
Sort
View
ENTCS
2007
92views more  ENTCS 2007»
15 years 6 months ago
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
Clemens Grabmayer
ICPR
2010
IEEE
15 years 4 months ago
Multi-class Graph Boosting with Subgraph Sharing for Object Recognition
In this paper, we propose a novel multi-class graph boosting algorithm to recognize different visual objects. The proposed method treats subgraph as feature to construct base clas...
Bang Zhang, Getian Ye, Yang Wang 0002, Wei Wang, J...
CORR
2011
Springer
217views Education» more  CORR 2011»
14 years 10 months ago
Coarse-Grained Topology Estimation via Graph Sampling
Many online networks are measured and studied via sampling techniques, which typically collect a relatively small fraction of nodes and their associated edges. Past work in this a...
Maciej Kurant, Minas Gjoka, Yan Wang, Zack W. Almq...
161
Voted
FGR
1996
IEEE
117views Biometrics» more  FGR 1996»
15 years 10 months ago
Tracking and Learning Graphs and Pose on Image Sequences of Faces
We demonstrate a system capable of tracking, in real world image sequences, landmarks such as eyes, mouth, or chin on a face. In the standard version, knowledge previously collect...
Thomas Maurer, Christoph von der Malsburg
DAGM
2009
Springer
15 years 7 months ago
A Gradient Descent Approximation for Graph Cuts
Abstract. Graph cuts have become very popular in many areas of computer vision including segmentation, energy minimization, and 3D reconstruction. Their ability to find optimal res...
Alparslan Yildiz, Yusuf Sinan Akgul