874 search results - page 32 / 175 » Graph Transformation in a Nutshell |
177
Voted
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
154
Voted
NIPS
2004
15 years 5 months ago
2004
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...
148
Voted
RTS
2006
15 years 3 months ago
2006
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...
107
Voted
FASE
2010
Springer
15 years 10 months ago
2010
Springer
141
Voted
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
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...