450 search results - page 6 / 90 » Algorithmic uses of the Feferman-Vaught Theorem |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
EC
2006
13 years 7 months ago
2006
The frequency with which various elements of the search space of a given evolutionary algorithm are sampled is affected by the family of recombination (reproduction) operators. Th...
Book
"The aim of this book is to present the strongest possible version of
G¨odel's incompleteness theorem, using an information-theoretic approach
based on the size of com...
GI
2001
Springer
13 years 12 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...