Sciweavers

3233 search results - page 485 / 647
» Validation Method for Intelligent Systems
Sort
View
GECCO
2005
Springer
116views Optimization» more  GECCO 2005»
15 years 12 months ago
Terrain generation using genetic algorithms
We propose a method for applying genetic algorithms to create 3D terrain data sets. Existing procedural algorithms for generation of terrain have several shortcomings. The most po...
TeongJoo Ong, Ryan Saunders, John Keyser, John J. ...
GECCO
2010
Springer
194views Optimization» more  GECCO 2010»
15 years 11 months ago
Fitting multi-planet transit models to photometric time-data series by evolution strategies
In this paper we present the application of an evolution strategy to the problem of detecting multi-planet transit events in photometric time-data series. Planetary transits occur...
Andreas M. Chwatal, Günther R. Raidl, Michael...
EDM
2008
96views Data Mining» more  EDM 2008»
15 years 8 months ago
Labeling Student Behavior Faster and More Precisely with Text Replays
We present text replays, a method for generating labels that can be used to train classifiers of student behavior. We use this method to label data as to whether students are gamin...
Ryan Shaun Joazeiro de Baker, Adriana M. J. B. de ...
ICCD
2008
IEEE
420views Hardware» more  ICCD 2008»
16 years 3 months ago
Frequency and voltage planning for multi-core processors under thermal constraints
— Clock frequency and transistor density increases have resulted in elevated chip temperatures. In order to meet temperature constraints while still exploiting the performance op...
Michael Kadin, Sherief Reda
KBSE
2000
IEEE
15 years 10 months ago
Simultaneous Checking of Completeness and Ground Confluence
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
Adel Bouhoula