Sciweavers

7991 search results - page 176 / 1599
» Using More Reasoning to Improve
Sort
View
GECCO
2003
Springer
15 years 11 months ago
Optimizing the Order of Taxon Addition in Phylogenetic Tree Construction Using Genetic Algorithm
Phylogenetics has gained in public favor for the analysis of DNA sequence data as molecular biology has advanced. Among a number of algorithms for phylogenetics, the fastDNAml is c...
Yong-Hyuk Kim, Seung-Kyu Lee, Byung Ro Moon
171
Voted
FLOPS
1999
Springer
15 years 10 months ago
Using Types as Approximations for Type Checking Prolog Programs
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
Christoph Beierle, Gregor Meyer
CL
2000
Springer
15 years 9 months ago
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
Guizhen Yang, Michael Kifer
173
Voted
ICSEA
2009
IEEE
15 years 3 months ago
Software Process Improvement in Multimodel Environments
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
André Ferreira, Ricardo Jorge Machado
184
Voted
IJCNN
2006
IEEE
16 years 5 days ago
Generalization Improvement in Multi-Objective Learning
— Several heuristic methods have been suggested for improving the generalization capability in neural network learning, most of which are concerned with a single-objective (SO) l...
Lars Gräning, Yaochu Jin, Bernhard Sendhoff