1940 search results - page 185 / 388 » Graph Transformation with Variables |
129
click to vote
ENTCS
2008
15 years 3 months ago
2008
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
138
Voted
ECEASST
2006
15 years 3 months ago
2006
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...
140
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
140
Voted
ICSM
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper is a summary of the author’s thesis that presents a model and an environment for recovering the high level design of legacy software systems based on user defined ar...
115
Voted
CIVR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a graph based method to improve the performance of person queries in large news video collections. The method benefits from the multi-modal structure of videos...