Sciweavers

874 search results - page 60 / 175
» Graph Transformation in a Nutshell
Sort
View
119
Voted
ESWS
2009
Springer
15 years 10 months ago
Representing, Querying and Transforming Social Networks with RDF/SPARQL
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...
Mauro San Martín, Claudio Gutierrez
ICDE
2010
IEEE
199views Database» more  ICDE 2010»
15 years 7 months ago
XMorph: A Shape-Polymorphic, Domain-Specific XML Data Transformation Language
By imposing a single hierarchy on data, XML makes queries brittle in the sense that a query might fail to produce the desired result if it is executed on the same data organized in...
Curtis Dyreson, Sourav S Bhowmick, Aswani Rao Jann...
ICPR
2008
IEEE
16 years 4 months ago
Graph-based classification for multiple observations of transformed patterns
We consider the problem of classification when multiple observations of a pattern are available, possibly under different transformations. We view this problem as a special case o...
Effrosini Kokiopoulou, Pascal Frossard, Stefanos P...
149
Voted
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
15 years 9 months ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...
148
Voted
CAV
2012
Springer
270views Hardware» more  CAV 2012»
13 years 6 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...