Sciweavers

956 search results - page 81 / 192
» Dimensions in program synthesis
Sort
View
IFIP
2004
Springer
14 years 3 months ago
A Randomised Algorithm for Checking the Normality of Cryptographic Boolean Functions
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
An Braeken, Christopher Wolf, Bart Preneel
GECCO
2010
Springer
150views Optimization» more  GECCO 2010»
14 years 2 months ago
Object-level recombination of commodity applications
This paper presents ObjRecombGA, a genetic algorithm framework for recombining related programs at the object file level. A genetic algorithm guides the selection of object file...
Blair Foster, Anil Somayaji
SIGGRAPH
1998
ACM
14 years 2 months ago
A Perceptually Based Adaptive Sampling Algorithm
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
Mark R. Bolin, Gary W. Meyer
GECCO
2011
Springer
276views Optimization» more  GECCO 2011»
13 years 1 months ago
Evolution of reward functions for reinforcement learning
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
Scott Niekum, Lee Spector, Andrew G. Barto
FCCM
2011
IEEE
241views VLSI» more  FCCM 2011»
13 years 1 months ago
Multilevel Granularity Parallelism Synthesis on FPGAs
— Recent progress in High-Level Synthesis (HLS) es has helped raise the abstraction level of FPGA programming. However implementation and performance evaluation of the HLS-genera...
Alexandros Papakonstantinou, Yun Liang, John A. St...