10304 search results - page 384 / 2061 » Computer science with the sciences: an emphasis in computati... |
164
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper deals with balls and bins processes related to randomized load balancing, dynamic resource allocation, and hashing. Suppose
168
click to vote
RTA
1999
Springer
15 years 11 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
173
click to vote
WG
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We consider broadcasting on asynchronous anonymous totally unoriented n
148
Voted
RTA
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is...
150
click to vote
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
The problem of evaluating the sign of the determinant of a small matrix arises in many geometric algorithms. Given an n