Sciweavers

866 search results - page 38 / 174
» Bidirectionalizing graph transformations
Sort
View
147
Voted
NIPS
2004
15 years 4 months ago
Nonparametric Transforms of Graph Kernels for Semi-Supervised Learning
We present an algorithm based on convex optimization for constructing kernels for semi-supervised learning. The kernel matrices are derived from the spectral decomposition of grap...
Xiaojin Zhu, Jaz S. Kandola, Zoubin Ghahramani, Jo...
137
Voted
RTS
2006
176views more  RTS 2006»
15 years 2 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
92
Voted
FASE
2010
Springer
15 years 9 months ago
Stochastic Simulation of Graph Transformation Systems
Paolo Torrini, Reiko Heckel, István R&aacut...
135
Voted
AGTIVE
2007
Springer
15 years 9 months ago
Ludo: A Case Study for Graph Transformation Tools
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the subm...
Arend Rensink, Alexander Dotor, Claudia Ermel, Ste...
107
Voted
VL
2005
IEEE
125views Visual Languages» more  VL 2005»
15 years 8 months ago
Benchmarking for Graph Transformation
Gergely Varró, Andy Schürr, Dán...