4074 search results - page 121 / 815 » Abstract Graph Transformation |
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We consider graph searching games on directed graphs and corresponding digraph decompositions. In particular we show that two important variants of these games
118
Voted
ICLA
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Connection matrices of graph parameters were first introduced by M. Freedman, L. Lov
CORR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
JCAM
2010
14 years 8 months ago
2010
Abstract. An uncertainty inequality for the Fourier
127
Voted
IBIS
2006
15 years 1 months ago
2006
: Schema matching is the task of finding semantic correspondences between elements of two schemas, which plays a key role in many database applications. In this paper, we cast the ...