11808 search results - page 2117 / 2362 » Isometries and Computability Structures |
160
click to vote
AISB
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
168
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
An evaluation of earcons was carried out to see whether they are an effective means of communicating information in sound. An initial experiment showed that earcons were better th...
239
click to vote
COLT
1994
Springer
15 years 10 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
159
click to vote
FOCS
1992
IEEE
15 years 10 months ago
1992
IEEE
Wait-free implementations of shared objects tolerate the failure of processes, but not the failure of base objects from which they are implemented. We consider the problem of imple...
159
click to vote
PLSA
1994
15 years 10 months ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...