Sciweavers

170 search results - page 14 / 34
» Two Results About Optimization of Fuzzy Variable Functions
Sort
View
SAC
2006
ACM
14 years 9 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...
STOC
2005
ACM
150views Algorithms» more  STOC 2005»
15 years 10 months ago
Correcting errors without leaking partial information
This paper explores what kinds of information two parties must communicate in order to correct errors which occur in a shared secret string W. Any bits they communicate must leak ...
Yevgeniy Dodis, Adam Smith
EVOW
2006
Springer
15 years 1 months ago
A Preliminary Study on Handling Uncertainty in Indicator-Based Multiobjective Optimization
Abstract. Real-world optimization problems are often subject to uncertainties, which can arise regarding stochastic model parameters, objective functions and decision variables. Th...
Matthieu Basseur, Eckart Zitzler
CEC
2007
IEEE
15 years 4 months ago
On performance metrics and particle swarm methods for dynamic multiobjective optimization problems
— This paper describes two performance measures for measuring an EMO (Evolutionary Multiobjective Optimization) algorithm’s ability to track a time-varying Paretofront in a dyn...
Xiaodong Li, Jürgen Branke, Michael Kirley
STOC
2012
ACM
209views Algorithms» more  STOC 2012»
13 years 5 days ago
Nearly optimal solutions for the chow parameters problem and low-weight approximation of halfspaces
The Chow parameters of a Boolean function f : {−1, 1}n → {−1, 1} are its n + 1 degree-0 and degree-1 Fourier coefficients. It has been known since 1961 [Cho61, Tan61] that ...
Anindya De, Ilias Diakonikolas, Vitaly Feldman, Ro...