Sciweavers

2539 search results - page 249 / 508
» Debugging Method Names
Sort
View
CONTEXT
2005
Springer
15 years 8 months ago
Understanding Context Before Using It
This paper presents an attempt to point out some problematic issues about the understanding of context. Although frequently used in cognitive sciences or other disciplines, context...
Mary Bazire, Patrick Brézillon
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 8 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn
GECCO
2005
Springer
113views Optimization» more  GECCO 2005»
15 years 8 months ago
Estimating the detector coverage in a negative selection algorithm
This paper proposes a statistical mechanism to analyze the detector coverage in a negative selection algorithm, namely a quantitative measurement of a detector set’s capability ...
Zhou Ji, Dipankar Dasgupta
GECCO
2005
Springer
117views Optimization» more  GECCO 2005»
15 years 8 months ago
Directional self-learning of genetic algorithm
In order to overcome the low convergence speed and prematurity of classical genetic algorithm, an improved method named directional self-learning of genetic algorithm (DSLGA) is p...
Lin Cong, Yuheng Sha, Licheng Jiao, Fang Liu
GECCO
2005
Springer
15 years 8 months ago
A new approach to evaluate GP schema in context
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...
Hammad Majeed