139 search results - page 13 / 28 » Model Checking Graph Transformations: A Comparison of Two Ap... |
DBPL
2007
Springer
14 years 22 days ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
ECCV
2002
Springer
14 years 10 months ago
2002
Springer
Over the last decade, a number of methods for geometric matching based on a branch-and-bound approach have been proposed. Such algorithms work by recursively subdividing transforma...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
: This communication describes a representation of images as a set of edges characterized by their position and orientation. This representation allows the comparison of two images...
WABI
2001
Springer
14 years 1 months ago
2001
Springer
We describe algorithms for pattern matching and pattern learning in TOPS diagrams (formal descriptions of protein topologies). These problems can be reduced to checking for subgrap...
DFG
2004
Springer
14 years 16 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...