Sciweavers

716 search results - page 72 / 144
» Algorithmic Issues in Coding Theory
Sort
View
POPL
2010
ACM
16 years 3 months ago
Automatically Generating Instruction Selectors Using Declarative Machine Descriptions
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
João Dias, Norman Ramsey
CEC
2007
IEEE
16 years 15 days ago
A Utile Function Optimizer
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...
Christopher K. Monson, Kevin D. Seppi, James L. Ca...
GECCO
2006
Springer
332views Optimization» more  GECCO 2006»
15 years 9 months ago
Multi-objective PID-controller tuning for a magnetic levitation system using NSGA-II
This paper investigates the issue of PID-controller parameter tuning for a magnetic levitation system using the nondominated sorting genetic algorithm (NSGA-II). The magnetic levi...
Gerulf K. M. Pedersen, Zhenyu Yang
WCE
2007
15 years 7 months ago
Reconstruction of 3D Solid Models Using Fuzzy Logic Recognition
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
Zhe Wang, Mohammed Latif
TASE
2007
IEEE
16 years 13 days ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...