3208 search results - page 323 / 642 » A Lower Bound for Primality |
186
Voted
ESA
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we introduce a general strategy for approximating the solution to minimisation problems in random regular graphs. We describe how the approach can be applied to the m...
152
click to vote
RANDOM
2001
Springer
15 years 11 months ago
2001
Springer
We study Euclidean embeddings of Euclidean metrics and present the following four results: (1) an O(log3 n √ log log n) approximation for minimum bandwidth in conjunction with a ...
203
click to vote
CADE
1999
Springer
15 years 11 months ago
1999
Springer
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
173
Voted
CAISE
1999
Springer
15 years 11 months ago
1999
Springer
Time management is a critical component of workflow-based process management. Important aspects of time management include planning of workflow process execution in time, estimat...
161
click to vote
STACS
1999
Springer
15 years 11 months ago
1999
Springer
We present an optimal strategy for searching for a goal in a street which achieves the competitive factor of √ 2, thus matching the best lower bound known before. This finally ...