Sciweavers

1357 search results - page 106 / 272
» Compositionality in Graph Transformation
Sort
View
122
Voted
GG
2004
Springer
15 years 8 months ago
Representing First-Order Logic Using Graphs
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
Arend Rensink
137
Voted
IV
2010
IEEE
166views Visualization» more  IV 2010»
15 years 1 months ago
From Databases to Graph Visualization
The first step of any information visualization system is to enable end user to import their dataset into the system. However, non expert user are faced to the difficult task of ch...
Frédéric Gilbert, David Auber
99
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
In the double-pushout approach to graph transformations, most authors assume the left-hand side to be injective, since the noninjective case leads to ambiguous results. Taking into...
Hans Jürgen Schneider
135
Voted
GCB
2009
Springer
139views Biometrics» more  GCB 2009»
15 years 7 months ago
Graph-Kernels for the Comparative Analysis of Protein Active Sites
Abstract: Graphs are often used to describe and analyze the geometry and physicochemical composition of biomolecular structures, such as chemical compounds and protein active sites...
Thomas Fober, Marco Mernberger, Ralph Moritz, Eyke...
138
Voted
AUTOID
2005
IEEE
15 years 5 months ago
Performance Enhancement of 2D Face Recognition via Mosaicing
We describe a face mosaicing scheme that generates a composite face image during enrollment based on the evidence provided by frontal and semi-profile face images of an individual...
Richa Singh, Mayank Vatsa, Arun Ross, Afzel Noore