11016 search results - page 704 / 2204 » Cloud Computing for Science |
177
click to vote
TLCA
2001
Springer
15 years 12 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...
286
click to vote
FOCS
2000
IEEE
15 years 12 months ago
2000
IEEE
A bisection of a graph with n vertices is a partition of its vertices into two sets, each of size n/2. The bisection cost is the number of edges connecting the two sets. The proble...
170
click to vote
EDBT
2000
ACM
15 years 11 months ago
2000
ACM
The paper presents Spatial Distributions Server – an analytical tool aimed at efficient creation, storing and analyzing of spatial distributions. Methods of approximation of spat...
204
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We study two widely used algorithms, Glauber dynamics and the Swendsen-Wang algorithm, on rectangular subsets of the hypercubic lattice
173
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
The metric 2-clustering problem is de ned as follows: given a metric (X;d), partition X into two sets S1 and S2 in order to minimize the value of X i X fu;vg Si d(u;v) In this pap...