3690 search results - page 298 / 738 » Computation with classical sequents |
164
click to vote
GI
2004
Springer
15 years 10 months 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...
164
click to vote
IWPEC
2004
Springer
15 years 10 months 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...
131
click to vote
MFCS
2004
Springer
15 years 10 months 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, ...
149
click to vote
PARA
2004
Springer
15 years 10 months 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...
167
click to vote
PPSN
2004
Springer
15 years 10 months 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 ...