1153 search results - page 110 / 231 » Reversing graph transformations |
130
Voted
ICPR
2004
IEEE
16 years 3 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...
106
Voted
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...
96
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 ...
141
Voted
BIRTHDAY
2010
Springer
15 years 20 days 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...
85
Voted
ECEASST
2010
15 years 23 hour 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...