Sciweavers

1056 search results - page 92 / 212
» Constraint-Based Graph Matching
Sort
View
AMAST
2010
Springer
13 years 4 months ago
Matching Logic: An Alternative to Hoare/Floyd Logic
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
Grigore Rosu, Chucky Ellison, Wolfram Schulte
AC
2000
Springer
14 years 1 months ago
Graph-Theoretical Methods in Computer Vision
The management of large databases of hierarchical (e.g., multi-scale or multilevel) image features is a common problem in object recognition. Such structures are often represented ...
Ali Shokoufandeh, Sven J. Dickinson
CIAC
2006
Springer
100views Algorithms» more  CIAC 2006»
14 years 27 days ago
Distributed Approximation Algorithms for Planar Graphs
In this paper we construct two distributed algorithms for computing approximations of a largest matching and a minimum dominating set in planar graphs on n vertices. The approximat...
Andrzej Czygrinow, Michal Hanckowiak, Edyta Szyman...
ICPR
2006
IEEE
14 years 10 months ago
Canonical Skeletons for Shape Matching
Skeletal representations of 2-D shape, including shock graphs, have become increasingly popular for shape matching and object recognition. However, it is well known that skeletal ...
Alexandru Telea, Cristian Sminchisescu, Diego Macr...
ICPR
2002
IEEE
14 years 10 months ago
Spatial Color Component Matching of Images
Color and color neighborhood statistics have been used extensively in image matching and retrieval. However, the effective incorporation of color layout information remains a chal...
Jianying Hu, Efstathios Hadjidemetriou