Sciweavers

10392 search results - page 95 / 2079
» Introduction to Computer Science
Sort
View

Publication
319views
14 years 4 months ago
 Viability Evolution: Elimination and Extinction in Evolutionary Computation
Current mainstream Evolutionary Algorithms (EA) are based on the concept of selection, encapsulated in the definition of a fitness function. Besides selection, however, the natur...
Claudio Mattiussi
ICFP
2000
ACM
15 years 10 months ago
Intersection types and computational effects
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
Rowan Davies, Frank Pfenning
HPCS
2006
IEEE
16 years 10 days ago
The Introduction of the OSCAR Database API (ODA)
DongInn Kim, Jeffrey M. Squyres, Andrew Lumsdaine