Sciweavers

8337 search results - page 368 / 1668
» Reasoning With Characteristic Models
Sort
View
195
Voted
GECCO
2008
Springer
157views Optimization» more  GECCO 2008»
15 years 7 months ago
Self-adaptive mutation rates in genetic algorithm for inverse design of cellular automata
Self-adaptation is used a lot in Evolutionary Strategies and with great success, yet for some reason it is not the mutation adaptation of choice for Genetic Algorithms. This poste...
Ron Breukelaar, Thomas Bäck
158
Voted
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
A Logical Characterisation of Static Equivalence
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
Hans Hüttel, Michael D. Pedersen
BC
1998
116views more  BC 1998»
15 years 6 months ago
A conceptual approach to the magical number 7
The traditional paradigm for studying the magical number is questioned and a new approach is sought in order to obtain a better conceptual understanding of this phenomenon. Buildin...
Willy Wong, Shuji Mori
JCC
2002
79views more  JCC 2002»
15 years 6 months ago
Distance and exposure dependent effective dielectric function
: In an effort to develop a dielectric screening function for molecular dynamics simulations of biomolecules in implicit solvent, effective dielectric constants (Deff) for a large ...
Buddhadeb Mallik, Artëm Masunov, Themis Lazar...
IGARSS
2010
15 years 4 months ago
Shadow extraction and correction from quickbird images
Shadows in remote sensing images often result in problems for many applications such as land-cover classification, change detection, and damage detection in disasters. Due to thes...
Wen Liu, Fumio Yamazaki