Sciweavers

2404 search results - page 179 / 481
» Postmodernism and Control Engineering
Sort
View
228
Voted
FDL
2007
IEEE
16 years 1 months ago
Automatic High Level Assertion Generation and Synthesis for Embedded System Design
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
Lun Li, Frank P. Coyle, Mitchell A. Thornton
AIED
2005
Springer
16 years 19 days ago
Computer Games as Intelligent Learning Environments: A River Ecosystem Adventure
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...
Jason Tan, Chris Beers, Ruchi Gupta, Gautam Biswas
GECCO
2005
Springer
145views Optimization» more  GECCO 2005»
16 years 18 days ago
Three dimensional evolutionary aerodynamic design optimization with CMA-ES
In this paper, we present the application of evolutionary optimization methods to a demanding, industrially relevant engineering domain, the three-dimensional optimization of gas ...
Martina Hasenjäger, Bernhard Sendhoff, Toyota...
SEW
2003
IEEE
16 years 10 days ago
Adopting a Software Component Model in Real-Time Systems Development
Component-based software engineering (CBSE) and the use of (de-facto) standard component models have gained popularity in recent years, particularly in the development of desktop ...
Frank Lüders
GECCO
2003
Springer
16 years 9 days ago
Parameter Optimization by a Genetic Algorithm for a Pitch Tracking System
The emergence of multimedia data in databases requires adequate methods for information retrieval. In a music data retrieval system by humming, the first stage is to extract exact...
Yoon-Seok Choi, Byung Ro Moon