Sciweavers

2157 search results - page 342 / 432
» Binary ant algorithm
Sort
View
COCO
1999
Springer
101views Algorithms» more  COCO 1999»
15 years 6 months ago
A Lower Bound for Primality
Recent work by Bernasconi, Damm and Shparlinski showed that the set of square-free numbers is not in AC0 , and raised as an open question whether similar (or stronger) lower bound...
Eric Allender, Michael E. Saks, Igor Shparlinski
104
Voted
PODC
1998
ACM
15 years 6 months ago
In-Place Reconstruction of Delta Compressed Files
We present an algorithm for modifying delta compressed files so that the compressed versions may be reconstructed without scratch space. This allows network clients with limited ...
Randal C. Burns, Darrell D. E. Long
132
Voted
STOC
1994
ACM
134views Algorithms» more  STOC 1994»
15 years 6 months ago
A coding theorem for distributed computation
Shannon's Coding Theorem shows that in order to reliably transmit a message of T bits over a noisy communication channel, only a constant slowdown factor is necessary in the ...
Sridhar Rajagopalan, Leonard J. Schulman
178
Voted
ADBIS
2007
Springer
256views Database» more  ADBIS 2007»
15 years 6 months ago
Adaptive k-Nearest-Neighbor Classification Using a Dynamic Number of Nearest Neighbors
Classification based on k-nearest neighbors (kNN classification) is one of the most widely used classification methods. The number k of nearest neighbors used for achieving a high ...
Stefanos Ougiaroglou, Alexandros Nanopoulos, Apost...
124
Voted
CAV
2006
Springer
132views Hardware» more  CAV 2006»
15 years 6 months ago
Symmetry Reduction for Probabilistic Model Checking
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
Marta Z. Kwiatkowska, Gethin Norman, David Parker