Sciweavers

1188 search results - page 75 / 238
» Extended Graph Unification
Sort
View
SIAMDM
2010
194views more  SIAMDM 2010»
14 years 7 months ago
Combinatorics and Geometry of Finite and Infinite Squaregraphs
Abstract. Squaregraphs were originally defined as finite plane graphs in which all inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e., the vertices not in...
Hans-Jürgen Bandelt, Victor Chepoi, David Epp...
91
Voted
ACL
2012
13 years 3 months ago
Entailment-based Text Exploration with Application to the Health-care Domain
We present a novel text exploration model, which extends the scope of state-of-the-art technologies by moving from standard concept-based exploration to statement-based exploratio...
Meni Adler, Jonathan Berant, Ido Dagan
197
Voted
VLDB
2007
ACM
155views Database» more  VLDB 2007»
16 years 1 months ago
Towards Graph Containment Search and Indexing
Given a set of model graphs D and a query graph q, containment search aims to find all model graphs g D such that q contains g (q g). Due to the wide adoption of graph models, f...
Chen Chen, Xifeng Yan, Philip S. Yu, Jiawei Han, D...
121
Voted
ALGORITHMICA
2007
86views more  ALGORITHMICA 2007»
15 years 27 days ago
Detecting Holes and Antiholes in Graphs
In this paper we study the problems of detecting holes and antiholes in general undirected graphs, and we present algorithms for these problems. For an input graph G on n vertices ...
Stavros D. Nikolopoulos, Leonidas Palios
108
Voted
GG
2004
Springer
15 years 6 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...