Sciweavers

15754 search results - page 673 / 3151
» Programs are Knowledge Bases
Sort
View
DEXAW
2008
IEEE
93views Database» more  DEXAW 2008»
16 years 1 months ago
Overlay GHC: An Extension of Guarded Horn Clauses for Overlay Programming
Today’s high-speed network allows sophisticated applications of overlay networks. Meanwhile, usage of multicore processors has been spreading. The level of concurrency we need t...
Kenji Saito
EUROGP
2007
Springer
175views Optimization» more  EUROGP 2007»
16 years 1 months ago
Fast Genetic Programming on GPUs
As is typical in evolutionary algorithms, fitness evaluation in GP takes the majority of the computational effort. In this paper we demonstrate the use of the Graphics Processing...
Simon Harding, Wolfgang Banzhaf
FCT
2007
Springer
16 years 1 months ago
Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs
We present new combinatorial approximation algorithms for k-set cover. Previous approaches are based on extending the greedy algorithm by efficiently handling small sets. The new a...
Stavros Athanassopoulos, Ioannis Caragiannis, Chri...
OOPSLA
2004
Springer
16 years 24 days ago
Efficient data race and deadlock prevention in concurrent object-oriented programs
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
Piotr Nienaltowski
GECCO
2010
Springer
182views Optimization» more  GECCO 2010»
16 years 7 days ago
Model selection in genetic programming
Abstract. We discuss the problem of model selection in Genetic Programming using the framework provided by Statistical Learning Theory, i.e. Vapnik-Chervonenkis theory (VC). We pre...
Cruz E. Borges, César Luis Alonso, Jos&eacu...