Sciweavers

2404 search results - page 179 / 481
» Postmodernism and Control Engineering
Sort
View
FDL
2007
IEEE
16 years 24 days 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 3 hour 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»
15 years 12 months 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
15 years 11 months 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
15 years 11 months 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