Sciweavers

6102 search results - page 722 / 1221
» Generating Optimizing Specializers
Sort
View
PPDP
2009
Springer
16 years 1 months ago
Scrap your boilerplate: prologically!
“Scrap Your Boilerplate” (SYB) is an established style of generic functional programming. The present paper reconstructs SYB within the Prolog language with the help of the un...
Ralf Lämmel
TPHOL
2007
IEEE
16 years 1 months ago
Extracting Purely Functional Contents from Logical Inductive Types
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
David Delahaye, Catherine Dubois, Jean-Fréd...
EUROGP
2007
Springer
144views Optimization» more  EUROGP 2007»
16 years 1 months ago
Fitness Landscape Analysis and Image Filter Evolution Using Functional-Level CGP
This work analyzes fitness landscapes for the image filter design problem approached using functional-level Cartesian Genetic Programming. Smoothness and ruggedness of fitness l...
Karel Slaný, Lukás Sekanina
MCS
2007
Springer
16 years 1 months ago
Cooperative Coevolutionary Ensemble Learning
Abstract. A new optimization technique is proposed for classifiers fusion — Cooperative Coevolutionary Ensemble Learning (CCEL). It is based on a specific multipopulational evo...
Daniel Kanevskiy, Konstantin Vorontsov
ECRTS
2006
IEEE
16 years 1 months ago
The Partitioned Scheduling of Sporadic Tasks According to Static-Priorities
A polynomial-time algorithm is presented for partitioning a collection of sporadic tasks among the processors of an identical multiprocessor platform with static-priority scheduli...
Nathan Fisher, Sanjoy K. Baruah, Theodore P. Baker