Sciweavers

1449 search results - page 145 / 290
» Self-Randomized Exponentiation Algorithms
Sort
View
FOCS
1999
IEEE
15 years 10 months ago
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
Maria Luisa Bonet, Nicola Galesi
ICANNGA
2007
Springer
141views Algorithms» more  ICANNGA 2007»
16 years 16 days ago
Estimates of Approximation Rates by Gaussian Radial-Basis Functions
Rates of approximation by networks with Gaussian RBFs with varying widths are investigated. For certain smooth functions, upper bounds are derived in terms of a Sobolev-equivalent ...
Paul C. Kainen, Vera Kurková, Marcello Sang...
ISAAC
2005
Springer
127views Algorithms» more  ISAAC 2005»
15 years 12 months ago
Counting Stable Strategies in Random Evolutionary Games
In this paper we study the notion of the Evolutionary Stable Strategies (ESS) in evolutionary games and we demonstrate their qualitative difference from the Nash Equilibria, by sh...
Spyros C. Kontogiannis, Paul G. Spirakis
ICDM
2006
IEEE
226views Data Mining» more  ICDM 2006»
16 years 12 days ago
Converting Output Scores from Outlier Detection Algorithms into Probability Estimates
Current outlier detection schemes typically output a numeric score representing the degree to which a given observation is an outlier. We argue that converting the scores into wel...
Jing Gao, Pang-Ning Tan
CD
2005
Springer
15 years 12 months ago
A Decentralized Redeployment Algorithm for Improving the Availability of Distributed Systems
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
Sam Malek, Marija Mikic-Rakic, Nenad Medvidovic