Sciweavers

4488 search results - page 410 / 898
» Focusing Search by Using Problem Solving Experience
Sort
View
CP
2008
Springer
15 years 8 months ago
Connecting ABT with Arc Consistency
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogo...
Ismel Brito, Pedro Meseguer
GECCO
2005
Springer
131views Optimization» more  GECCO 2005»
15 years 11 months ago
EA models and population fixed-points versus mutation rates for functions of unitation
Using a dynamic systems model for the Simple Genetic Algorithm due to Vose[1], we analyze the fixed point behavior of the model without crossover applied to functions of unitation...
J. Neal Richter, John Paxton, Alden H. Wright
GECCO
2008
Springer
159views Optimization» more  GECCO 2008»
15 years 7 months ago
IGAP: interactive genetic algorithm peer to peer
We present IGAP, a peer to peer interactive genetic algorithm which reflects the real world methodology followed in team design. We apply our methodology to floorplanning. Throu...
Juan C. Quiroz, Amit Banerjee, Sushil J. Louis
ISMB
2000
15 years 7 months ago
Genes, Themes, and Microarrays: Using Information Retrieval for Large-Scale Gene Analysis
The immensevolumeof data resulting from DNAmicroarray experiments, accompaniedby an increase in the numberof publications discussing gene-related discoveries, presents a majordata...
Hagit Shatkay, Stephen Edwards, W. John Wilbur, Ma...
EVOTING
2004
113views Hardware» more  EVOTING 2004»
15 years 7 months ago
Verifiability and Other Technical Requirements for Online Voting Systems
: When developing a catalogue of technical requirements for online voting systems to be used in legally ruled, non-parliamentary elections, major interdisciplinary problems arise w...
Nils Meißner, Volker Hartmann, Dieter Richte...