1722 search results - page 145 / 345 » Guided Genetic Programming |
138
click to vote
APBC
2004
15 years 4 months ago
2004
Here we investigate an extension of a previously suggested "automatic amide I frequency selection procedure" where we introduce an additional criterion utilizing empiric...
148
Voted
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
134
Voted
LOPSTR
1994
Springer
15 years 7 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
137
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
168
Voted
IOR
2011
14 years 10 months ago
2011
In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We prop...