Sciweavers

12438 search results - page 303 / 2488
» The Magic of a Number System
Sort
View
EUROGP
2000
Springer
107views Optimization» more  EUROGP 2000»
15 years 11 months ago
Using Factorial Experiments to Evaluate the Effect of Genetic Programming Parameters
Abstract. Statistical techniques for designing and analysing experiments are used to evaluate the individual and combined effects of genetic programming parameters. Three binary cl...
Robert Feldt, Peter Nordin
SPAA
1998
ACM
15 years 11 months ago
Analyses of Load Stealing Models Based on Differential Equations
In this paper we develop models for and analyze several randomized work stealing algorithms in a dynamic setting. Our models represent the limiting behavior of systems as the numb...
Michael Mitzenmacher
IPL
2008
95views more  IPL 2008»
15 years 7 months ago
Approximating maximum satisfiable subsystems of linear equations of bounded width
We consider the problem known as MAX-SATISFY: given a system of m linear equations over the rationals, find a maximum set of equations that can be satisfied. Let r be the width of...
Zeev Nutov, Daniel Reichman
JSYML
2007
85views more  JSYML 2007»
15 years 7 months ago
Lower bounds for modal logics
We give an exponential lower bound on number of proof-lines in the proof system K of modal logic, i.e., we give an example of K-tautologies 1, 2, . . . s.t. every K-proof of i must...
Pavel Hrubes
178
Voted
INFORMATICALT
2010
99views more  INFORMATICALT 2010»
15 years 5 months ago
Security Analysis of Asymmetric Cipher Protocol Based on Matrix Decomposition Problem
The asymmetric cipher protocol, based on decomposition problem in matrix semiring M over semiring of natural numbers N is presented. The security of presented cipher protocol is ba...
Andrius Raulynaitis, Eligijus Sakalauskas, Saulius...