5114 search results - page 927 / 1023 » Learning for Evolutionary Design |
107
Voted
ESA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We study the problem of contention resolution for differentsized jobs on a simple channel. When a job makes a run attempt, it learns only whether the attempt succeeded or...
149
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
130
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Many data mining applications involve the task of building a model for predictive classification. The goal of such a model is to classify examples (records or data instances) into...
133
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a hybrid technique that combines List Scheduling (LS) with Genetic Algorithms (GA) for constructing non-preemptive schedules for soft real-time parallel applic...
140
Voted
ITS
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes TEATRIX; a learning environment designed to help children, and their teachers, in the whole process of collaborative story creation. TEATRIX provides an enviro...