Sciweavers

4074 search results - page 199 / 815
» Abstract Graph Transformation
Sort
View
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 6 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
160
Voted
XMIDX
2003
15 years 3 months ago
Streaming Transformations for XML-STX
Abstract: STX (Streaming Transformations for XML) ist eine Transformationssprache, die als schnelle und speicherschonende Alternative zu XSLT entworfen wurde. STX weist gewisse syn...
Oliver Becker
123
Voted
PEPM
2007
ACM
15 years 8 months ago
XML graphs in program analysis
XML graphs have shown to be a simple and effective formalism for representing sets of XML documents in program analysis. It has evolved through a six year period with variants tai...
Anders Møller, Michael I. Schwartzbach
ICMCS
2005
IEEE
136views Multimedia» more  ICMCS 2005»
15 years 8 months ago
Soft Region Correspondence Estimation for Graph-Theoretic Image Retrieval Using Quadratic Programming Approach
This paper proposes employing a graph-theoretic approach to estimate the region correspondence between two images. We represent each image as an attributed undirected graph and tr...
Chuech-Yu Li, Chiou-Ting Hsu
119
Voted
ARSCOM
2002
53views more  ARSCOM 2002»
15 years 2 months ago
Embedding Graphs Containing K5-Subdivisions
Given a non-planar graph G with a subdivision of K5 as a subgraph, we can either transform the K5-subdivision into a K3,3-subdivision if it is possible, or else we obtain a partit...
Andrei V. Gagarin, William Kocay