Sciweavers

1153 search results - page 134 / 231
» Reversing graph transformations
Sort
View
138
Voted
LATA
2009
Springer
15 years 9 months ago
Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
Bruno Courcelle
132
Voted
JGAA
2002
86views more  JGAA 2002»
15 years 2 months ago
Planar Graphs with Topological Constraints
We address in this paper the problem of constructing embeddings of planar graphs satisfying declarative, user-defined topological constraints. The constraints consist each of a cy...
Christoph Dornheim
122
Voted
SCAM
2006
IEEE
15 years 8 months ago
SMART C: A Semantic Macro Replacement Translator for C
Programmers often want to transform the source or binary representations of their programs (e.g., to optimize, add dynamic safety checks, or add profile gathering code). Unfortun...
Matthew Jacobs, E. Christopher Lewis
130
Voted
ICCV
2005
IEEE
15 years 8 months ago
Perceptual Scale Space and its Applications
When an image is viewed at varying resolutions, it is known to create discrete perceptual jumps or transitions amid the continuous intensity changes. In this paper, we study a per...
Yizhou Wang, Siavosh Bahrami, Song Chun Zhu
138
Voted
ICPR
2008
IEEE
16 years 3 months ago
Object recognition and segmentation using SIFT and Graph Cuts
In this paper, we propose a method of object recognition and segmentation using Scale-Invariant Feature Transform (SIFT) and Graph Cuts. SIFT feature is invariant for rotations, s...
Akira Suga, Keita Fukuda, Tetsuya Takiguchi, Yasuo...