1940 search results - page 125 / 388 » Graph Transformation with Variables |
165
Voted
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
134
click to vote
ICPR
2004
IEEE
16 years 4 months ago
2004
IEEE
Given two or more images, we can define different but related problems on pattern matching such as image registration, pattern detection and localization, and common pattern disco...
107
Voted
GG
2004
Springer
15 years 8 months ago
2004
Springer
There would seem to be a natural connection between graphs and information security. This is particularly so in the arena of access control and authorization. Research on applying ...
151
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
ECEASST
2010
15 years 24 days ago
2010
This short paper explores the potential of embedding-based graph rewriting as a tool for understanding natural computing, and in particular self-assembly. The basic point of view i...