Sciweavers

5634 search results - page 301 / 1127
» About Abstract Classes
Sort
View
103
Voted
ECAL
2005
Springer
15 years 10 months ago
Evolutionary Transitions as a Metaphor for Evolutionary Optimisation
Abstract. This paper proposes a computational model for solving optimisation problems that mimics the principle of evolutionary transitions in individual complexity. More specific...
Anne Defaweux, Tom Lenaerts, Jano I. van Hemert
FCT
2005
Springer
15 years 10 months ago
A Self-dependency Constraint in the Simply Typed Lambda Calculus
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
Aleksy Schubert
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
15 years 10 months ago
Topological crossover for the permutation representation
Abstract. Topological crossovers are a class of representation-independent operators that are well-defined once a notion of distance over the solution space is defined. In this pap...
Alberto Moraglio, Riccardo Poli
153
Voted
HIP
2005
Springer
174views Cryptology» more  HIP 2005»
15 years 10 months ago
Collaborative Filtering CAPTCHAs
Abstract. Current CAPTCHAs require users to solve objective questions such as text recognition or image recognition. We propose a class of CAPTCHAs based on collaborative filterin...
Monica Chew, J. D. Tygar
136
Voted
ICCS
2005
Springer
15 years 10 months ago
Numerically Stable Real Number Codes Based on Random Matrices
Abstract — Error correction codes defined over realnumber and complex-number fields have been studied and recognized as useful in many applications. However, most real-number a...
Zizhong Chen, Jack Dongarra