1357 search results - page 62 / 272 » Compositionality in Graph Transformation |
140
Voted
JAPLL
2006
15 years 2 months ago
2006
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
417
Voted
CVPR
2012
IEEE
13 years 4 months ago
2012
IEEE
A novel approach for event summarization and rare event detection is proposed. Unlike conventional methods that deal with event summarization and rare event detection independently...
138
Voted
OOPSLA
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...
118
Voted
COMPUTING
1999
15 years 2 months ago
1999
In line image understandingaminimal lineproperty preserving(MLPP)graphoftheimagecompliments the structural information in geometric graph representations like the run graph. With ...
112
Voted
ENTCS
2007
15 years 2 months ago
2007
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...