1002 search results - page 38 / 201 » Towards Graph Programs for Graph Algorithms |
101
click to vote
COCOA
2008
Springer
15 years 3 months ago
2008
Springer
Abstract: Recently, there have been significant theoretical progresses towards fixed-parameter algorithms for the DOMINATING SET problem of planar graphs. It is known that the prob...
143
Voted
CISS
2007
IEEE
15 years 5 months ago
2007
IEEE
The problem of routing of sensor observations for optimal detection of a Markov random field (MRF) at a designated fusion center is analyzed. Assuming that the correlation structur...
IH
2007
Springer
15 years 8 months ago
2007
Springer
We present a probabilistic program-transformation algorithm to render a given program tamper-resistant. In addition, we suggest a model to estimate the required effort for an atta...
161
click to vote
ICMT
2011
Springer
14 years 5 months ago
2011
Springer
ATL is a language for describing model transformations currently in uni-direction. In our previous work we have shown that transformations of graph structures given in some form ca...
146
click to vote
CONSTRAINTS
2010
14 years 11 months ago
2010
The subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a global constraint and an associated ...