Sciweavers

1086 search results - page 70 / 218
» Programming by Numbers: A Programming Method for Novices
Sort
View
CORR
2010
Springer
153views Education» more  CORR 2010»
15 years 6 months ago
Towards Parameterized Regular Type Inference Using Set Constraints
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
Francisco Bueno, Jorge A. Navas, Manuel V. Hermene...
GECCO
2007
Springer
167views Optimization» more  GECCO 2007»
16 years 9 days ago
Genetically designed heuristics for the bin packing problem
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
Oana Muntean
EUROGP
2005
Springer
156views Optimization» more  EUROGP 2005»
15 years 11 months ago
Evolving Rules for Document Classification
We describe a novel method for using Genetic Programming to create compact classification rules based on combinations of N-Grams (character strings). Genetic programs acquire fitne...
Laurence Hirsch, Masoud Saeedi, Robin Hirsch
ECOOP
1999
Springer
15 years 10 months ago
Providing Persistent Objects in Distributed Systems
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
Barbara Liskov, Miguel Castro, Liuba Shrira, Atul ...
SC
1990
ACM
15 years 10 months ago
Loop distribution with arbitrary control flow
Loop distribution is an integral part of transforming a sequential program into a parallel one. It is used extensively in parallelization,vectorization, and memory management. For...
Ken Kennedy, Kathryn S. McKinley