Sciweavers

3571 search results - page 262 / 715
» Cohen and Set Theory
Sort
View
FOGA
1994
15 years 8 months ago
Predictive Models Using Fitness Distributions of Genetic Operators
An important goal of the theory of genetic algorithms is to build predictive models of how well genetic algorithms are expected to perform, given a representation, a fitness lands...
John J. Grefenstette
ATAL
2010
Springer
15 years 7 months ago
Internal implementation
We introduce a constrained mechanism design setting called internal implementation, in which the mechanism designer is explicitly modeled as a player in the game of interest. This...
Ashton Anderson, Yoav Shoham, Alon Altman
CADE
2010
Springer
15 years 7 months ago
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
ESA
2010
Springer
136views Algorithms» more  ESA 2010»
15 years 7 months ago
Fast Minor Testing in Planar Graphs
Minor containment is a fundamental problem in Algorithmic Graph Theory, as numerous graph algorithms use it as a subroutine. A model of a graph H in a graph G is a set of disjoint ...
Isolde Adler, Frederic Dorn, Fedor V. Fomin, Ignas...
GECCO
2008
Springer
127views Optimization» more  GECCO 2008»
15 years 7 months ago
Denial of service detection and analysis using idiotypic networks paradigm
In this paper we present a novel intrusion detection architecture based on Idiotypic Network Theory (INIDS), that aims at dealing with large scale network attacks featuring variab...
Marek Ostaszewski, Pascal Bouvry, Franciszek Sered...