Sciweavers

6693 search results - page 412 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
GECCO
2006
Springer
123views Optimization» more  GECCO 2006»
15 years 10 months ago
Real-time construction of aircraft landing schedules using an evolutionary algorithm
This poster investigates the use of Evolutionary Algorithms (EAs) to optimise solutions to the Dynamic Aircraft Landing Problem (DALP). The approach adopted here uses an EA to evo...
Neil Urquhart
PR
1998
86views more  PR 1998»
15 years 6 months ago
Optimizing the cost matrix for approximate string matching using genetic algorithms
This paper describes a method for optimizing the cost matrix of any approximate string matching algorithm based on the Levenshtein distance. The method, which uses genetic algorit...
Marc Parizeau, Nadia Ghazzali, Jean-Françoi...
178
Voted
IPMI
1999
Springer
16 years 7 months ago
ANIMAL+INSECT: Improved Cortical Structure Segmentation
An algorithm for improved automatic segmentation of gross anatomical structures of the human brain is presented that merges the output of a tissue classification process with gross...
D. Louis Collins, Alex P. Zijdenbos, Wim F. C. Baa...
SAC
2008
ACM
15 years 6 months ago
Learning to identify emotions in text
This paper describes experiments concerned with the automatic analysis of emotions in text. We describe the construction of a large data set annotated for six basic emotions: ange...
Carlo Strapparava, Rada Mihalcea
204
Voted
CAV
2012
Springer
270views Hardware» more  CAV 2012»
13 years 9 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...