Sciweavers

1449 search results - page 71 / 290
» Self-Randomized Exponentiation Algorithms
Sort
View
137
Voted
COLT
1993
Springer
15 years 6 months ago
Learning Binary Relations Using Weighted Majority Voting
In this paper we demonstrate how weighted majority voting with multiplicative weight updating can be applied to obtain robust algorithms for learning binary relations. We first pre...
Sally A. Goldman, Manfred K. Warmuth
113
Voted
ICALP
2007
Springer
15 years 8 months ago
Holographic Algorithms: The Power of Dimensionality Resolved
Valiant’s theory of holographic algorithms is a novel methodology to achieve exponential speedups in computation. A fundamental parameter in holographic algorithms is the dimens...
Jin-yi Cai, Pinyan Lu
120
Voted
EMO
2005
Springer
175views Optimization» more  EMO 2005»
15 years 8 months ago
A New Analysis of the LebMeasure Algorithm for Calculating Hypervolume
We present a new analysis of the LebMeasure algorithm for calculating hypervolume. We prove that although it is polynomial in the number of points, LebMeasure is exponential in the...
R. Lyndon While
ASP
2005
Springer
15 years 8 months ago
A New Algorithm for Answer Set Computation
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...
Giuliano Grossi, Massimo Marchi
110
Voted
TABLEAUX
1999
Springer
15 years 6 months ago
linTAP: A Tableau Prover for Linear Logic
Abstract. linTAP is a tableau prover for the multiplicative and exponential fragment M?LL of Girards linear logic. It proves the validity of a given formula by constructing an anal...
Heiko Mantel, Jens Otten