1511 search results - page 156 / 303 » Hierarchical Graph Transformation |
155
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes employing a graph-theoretic approach to estimate the region correspondence between two images. We represent each image as an attributed undirected graph and tr...
179
Voted
EMMCVPR
2005
Springer
15 years 10 months ago
2005
Springer
We consider the use of medial surfaces to represent symmetries of cts. This allows for a qualitative abstraction based on a directed acyclic graph of components and also a degree o...
139
click to vote
ARSCOM
2002
15 years 5 months ago
2002
Given a non-planar graph G with a subdivision of K5 as a subgraph, we can either transform the K5-subdivision into a K3,3-subdivision if it is possible, or else we obtain a partit...
166
Voted
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
172
Voted
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...