20441 search results - page 3933 / 4089 » Locally Computable Structures |
114
click to vote
ESA
2004
Springer
15 years 7 months ago
2004
Springer
Edge contraction is shown to be a useful mechanism to improve lower bound heuristics for treewidth. A successful lower bound for treewidth is the degeneracy: the maximum over all ...
105
click to vote
GG
2004
Springer
15 years 7 months ago
2004
Springer
A string generating hypergraph grammar is a hyperedge replacement grammar where the resulting language consists of string graphs i.e. hypergraphs modeling strings. With the help of...
142
Voted
ICS
2004
Tsinghua U.
15 years 7 months ago
2004
Tsinghua U.
We propose a novel replacement algorithm, called InterReference Gap Distribution Replacement (IGDR), for setassociative secondary caches of processors. IGDR attaches a weight to e...
121
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
124
click to vote
IWAN
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...