Sciweavers

922 search results - page 166 / 185
» On a Generalization of the Stone-Weierstrass Theorem
Sort
View
EUROGP
1998
Springer
113views Optimization» more  EUROGP 1998»
15 years 6 months ago
Fitness Causes Bloat: Mutation
The problem of evolving, using mutation, an artificial ant to follow the Santa Fe trail is used to study the well known genetic programming feature of growth in solution length. Kn...
William B. Langdon, Riccardo Poli
ICFEM
1997
Springer
15 years 6 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ICCAD
1994
IEEE
61views Hardware» more  ICCAD 1994»
15 years 6 months ago
Simultaneous driver and wire sizing for performance and power optimization
In this paper, we study the simultaneousdriver and wire sizing (SDWS) problem under two objective functions: (i) delay minimization only, or (ii) combined delay and power dissipat...
Jason Cong, Cheng-Kok Koh
ACISP
2009
Springer
15 years 6 months ago
Efficiency Bounds for Adversary Constructions in Black-Box Reductions
Abstract. We establish a framework for bounding the efficiency of cryptographic reductions in terms of their security transfer. While efficiency bounds for the reductions have been...
Ahto Buldas, Aivo Jürgenson, Margus Niitsoo
ICIP
2007
IEEE
15 years 5 months ago
Finding Optimal Integral Sampling Lattices for a given Frequency Support in Multidimensions
The search for alias-free sampling lattices for a given frequency support, in particular those lattices achieving minimum sampling densities, is a fundamental issue in various app...
Yue M. Lu, Minh N. Do