1508 search results - page 178 / 302 » A Combination Method for Generating Interpolants |
159
click to vote
LOPSTR
1997
Springer
15 years 8 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
129
Voted
SIGMOD
1989
ACM
15 years 8 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
153
Voted
CAIP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a new hybrid split-and-merge image segmentation method based on computational geometry and topology using persistent homology. The algorithm uses edge...
115
click to vote
CEC
2007
IEEE
2007
IEEE
Optimizing low-thrust gravity assist interplanetary trajectories using evolutionary neurocontrollers
15 years 8 months ago
The combination of low-thrust propulsion and gravity assists allows designing high-energy missions. However the optimization of such trajectories is no trivial task. In this paper,...
113
click to vote
CBMS
2004
IEEE
15 years 8 months ago
2004
IEEE
Ensemble techniques have been successfully applied in the context of supervised learning to increase the accuracy and stability of classification. Recently, analogous techniques fo...