211 search results - page 5 / 43 » Towards A Shape Analysis for Graph Transformation Systems |
120
click to vote
ENTCS
2008
15 years 1 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
101
click to vote
ICPR
2006
IEEE
16 years 2 months ago
2006
IEEE
Correspondence algorithms typically struggle with shapes that display part-based variation. We present a probabilistic approach that matches shapes using independent part transfor...
134
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
115
click to vote
FAC
2010
14 years 12 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
125
click to vote
ICPR
2006
IEEE
15 years 7 months ago
2006
IEEE
In hand shape recognition, transformation invariance is key for successful recognition. We propose a system that is invariant to small scale, translation and shape variations. Thi...