3690 search results - page 298 / 738 » Computation with classical sequents |
197
click to vote
GI
2004
Springer
16 years 4 days ago
2004
Springer
: This paper addresses some classical problems to integrate data sources that are heterogeneous in structure with possibly redundant data along a real world example integrating thr...
195
click to vote
IWPEC
2004
Springer
16 years 3 days ago
2004
Springer
The problem of packing k edge-disjoint triangles in a graph has been thoroughly studied both in the classical complexity and the approximation fields and it has a wide range of ap...
148
click to vote
MFCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We devise an efficient protocol by which a series of twoperson games Gi with unique winning strategies can be combined into a single game G with unique winning strategy, ...
173
click to vote
PARA
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we explore the parallelization of the scientific library from GNU both on shared-memory and distributed-memory architectures. A pair of classical operations, arising...
189
click to vote
PPSN
2004
Springer
16 years 3 days ago
2004
Springer
This paper introduces a new evaluation function, called δ, for the Bandwidth Minimization Problem for Graphs (BMPG). Compared with the classical β evaluation function used, our ...