Sciweavers

3229 search results - page 457 / 646
» Theories with the Independence Property
Sort
View
SIAMJO
2008
92views more  SIAMJO 2008»
15 years 6 months ago
An Active-Set Newton Method for Mathematical Programs with Complementarity Constraints
For a mathematical program with complementarity constraints (MPCC), we propose an active-set Newton method, which has the property of local quadratic convergence under the MPCC lin...
Alexey F. Izmailov, Mikhail V. Solodov
SIGECOM
2008
ACM
127views ECommerce» more  SIGECOM 2008»
15 years 6 months ago
Posted prices vs. negotiations: an asymptotic analysis
Full revelation of private values is impractical in many large-scale markets, where posted price mechanisms are a simpler alternative. In this work, we compare the asymptotic beha...
Liad Blumrosen, Thomas Holenstein
SAC
2006
ACM
15 years 6 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
ALGORITHMICA
2005
93views more  ALGORITHMICA 2005»
15 years 6 months ago
Universal Asymptotics for Random Tries and PATRICIA Trees
Abstract. We consider random tries and random patricia trees constructed from n independent strings of symbols drawn from any distribution on any discrete space. We show that many ...
Luc Devroye
TASLP
2008
102views more  TASLP 2008»
15 years 6 months ago
Acoustic Source Separation of Convolutive Mixtures Based on Intensity Vector Statistics
Various techniques have previously been proposed for the separation of convolutive mixtures. These techniques can be classified as stochastic, adaptive, and deterministic. Stochast...
Banu Gunel, Hüseyin Hacihabiboglu, Ahmet M. K...