Sciweavers

3007 search results - page 216 / 602
» Designed -in-diagnostics: A new optical method
Sort
View
GECCO
2008
Springer
148views Optimization» more  GECCO 2008»
15 years 7 months ago
Solving constrained multi-objective problems by objective space analysis
In this paper a new approach to solve constrained multi-objective problems by way of evolutionary multi-objective optimization is introduced. In contrast to former evolutionary ap...
Gideon Avigad, Carlos A. Coello Coello
JCAL
2002
96views more  JCAL 2002»
15 years 6 months ago
Improving continuing professional development in the use of ICT
Common shortcomings in educational design in Higher Education have not been fully addressed during the rapid shift towards online, resource-based learning. A contributing factor to...
A. H. Littlejohn
SEUS
2010
IEEE
15 years 4 months ago
Ubiquitous Verification of Ubiquitous Systems
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
Reinhard Wilhelm, Matteo Maffei
DAC
2001
ACM
16 years 7 months ago
An Algorithm for Bi-Decomposition of Logic Functions
We propose a new BDD-based method for decomposition of multi-output incompletely specified logic functions into netlists of two-input logic gates. The algorithm uses the internal ...
Alan Mishchenko, Bernd Steinbach, Marek A. Perkows...
APLAS
2003
ACM
15 years 12 months ago
A Program Inverter for a Functional Language with Equality and Constructors
We present a method for automatic program inversion in a first-order functional programming language. We formalize the transformation and illustrate it with several examples inclu...
Robert Glück, Masahiko Kawabe