Sciweavers

1845 search results - page 257 / 369
» Automatic Initiation of an Ontology
Sort
View
GECCO
2008
Springer
148views Optimization» more  GECCO 2008»
15 years 7 months ago
Combining cartesian genetic programming with an estimation of distribution algorithm
This paper describes initial testing of a novel idea to combine a CGP with an EDA. In recent work a new improved crossover technique was successfully applied to a CGP. To implemen...
Janet Clegg
BIRTHDAY
2010
Springer
15 years 6 months ago
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
Moa Johansson, Lucas Dixon, Alan Bundy
ICASSP
2010
IEEE
15 years 6 months ago
Hierarchical Gaussian Mixture Model
Gaussian mixture models (GMMs) are a convenient and essential tool for the estimation of probability density functions. Although GMMs are used in many research domains from image ...
Vincent Garcia, Frank Nielsen, Richard Nock
ICIP
2007
IEEE
15 years 6 months ago
Robust Road Extraction for High Resolution Satellite Images
Automatic road extraction is a critical feature for an efficient use of remote sensing imagery in most contexts. This paper proposes a robust geometric method to provide a first...
Emmanuel Christophe, Jordi Inglada
CAL
2006
15 years 6 months ago
From sequential programs to concurrent threads
Chip multiprocessors are of increasing importance due to recent difficulties in achieving higher clock frequencies in uniprocessors, but their success depends on finding useful wor...
Guilherme Ottoni, Ram Rangan, Adam Stoler, Matthew...