Sciweavers

1605 search results - page 162 / 321
» On Partitional Labelings of Graphs
Sort
View
134
Voted
ENTCS
2008
102views more  ENTCS 2008»
15 years 3 months ago
Towards a Systematic Method for Proving Termination of Graph Transformation Systems
We describe a method for proving the termination of graph transformation systems. The method is based on the fact that infinite reductions must include infinite `creation chains&#...
Harrie Jan Sander Bruggink
97
Voted
DCG
2000
90views more  DCG 2000»
15 years 3 months ago
On the Cocircuit Graph of an Oriented Matroid
In this paper we consider the cocircuit graph GM of an oriented matroid M, the 1-skeleton of the cell complex W formed by the span of the cocircuits of M. In general, W is not dete...
Raul Cordovil, Komei Fukuda, António Guedes...
92
Voted
IWCIA
2004
Springer
15 years 9 months ago
Integral Trees: Subtree Depth and Diameter
Regions in an image graph can be described by their spanning tree. A graph pyramid is a stack of image graphs at different granularities. Integral features capture important prope...
Walter G. Kropatsch, Yll Haxhimusa, Zygmunt Pizlo
132
Voted
SSPR
2004
Springer
15 years 9 months ago
An Optimal Probabilistic Graphical Model for Point Set Matching
We present a probabilistic graphical model for point set matching. By using a result about the redundancy of the pairwise distances in a point set, we represent the binary relation...
Tibério S. Caetano, Terry Caelli, Dante Aug...
ASP
2003
Springer
15 years 8 months ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke