Sciweavers

691 search results - page 58 / 139
» Genetic Programming Applied to Mixed Integer Programming
Sort
View
104
Voted
CP
2003
Springer
15 years 8 months ago
Redundant Modeling for the QuasiGroup Completion Problem
Abstract. The Quasigroup Completion Problem (QCP) is a very challenging benchmark among combinatorial problems, and the focus of much recent interest in the area of constraint prog...
Iván Dotú, Alvaro del Val, Manuel Ce...
CORR
2000
Springer
103views Education» more  CORR 2000»
15 years 2 months ago
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua S...
99
Voted
MA
1999
Springer
96views Communications» more  MA 1999»
15 years 7 months ago
CPU Resource Control for Mobile Programs
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support efï...
Raju Pandey, Manoj Lal
DAWAK
2000
Springer
15 years 7 months ago
Applying Vertical Fragmentation Techniques in Logical Design of Multidimensional Databases
In the context of multidimensional databases implemented on relational DBMSs through star schemes, the most effective technique to enhance performances consists of materializing re...
Matteo Golfarelli, Dario Maio, Stefano Rizzi
FLAIRS
2006
15 years 4 months ago
Genetic Hierarchical Music Structures
Music has structure at many levels, from grand arrangements of verses and choruses down to patterns in small riffs and themes. A bracketed L-system -- the SARAH language -- is use...
Charles Fox