Sciweavers

1220 search results - page 112 / 244
» Restricting grammatical complexity
Sort
View
COCO
2006
Springer
97views Algorithms» more  COCO 2006»
13 years 11 months ago
A Duality between Clause Width and Clause Density for SAT
We consider the relationship between the complexities of - and those of restricted to formulas of constant density. Let be the infimum of those such that - on variables can be dec...
Chris Calabro, Russell Impagliazzo, Ramamohan Patu...
GECCO
2006
Springer
135views Optimization» more  GECCO 2006»
13 years 11 months ago
The no free lunch and realistic search algorithms
The No-Free-Lunch theorems (NFLTs) are criticized for being too general to be of any relevance to the real world scenario. This paper investigates, both formally and empirically, ...
Yossi Borenstein, Riccardo Poli
ASPDAC
2000
ACM
92views Hardware» more  ASPDAC 2000»
13 years 11 months ago
Genetic algorithm accelerator GAA-II
We have developed a new GA hardware called GAA-I (Genetic Algorithm Accelerator-I), in which the crossover operator to be applied to each individual was dynamically selected during...
Shin'ichi Wakabayashi, Tetsushi Koide, Nayoshi Tos...
RT
2000
Springer
13 years 11 months ago
Wavelet Radiosity on Arbitrary Planar Surfaces
Abstract. Wavelet radiosity is, by its nature, restricted to parallelograms or triangles. This paper presents an innovative technique enabling wavelet radiosity computations on pla...
Nicolas Holzschuch, François Cuny, Laurent ...
TIC
2000
Springer
174views System Software» more  TIC 2000»
13 years 11 months ago
Alias Types for Recursive Data Structures
Linear type systems permit programmers to deallocate or explicitly recycle memory, but they are severly restricted by the fact that they admit no aliasing. This paper describes a ...
David Walker, J. Gregory Morrisett