Sciweavers

4540 search results - page 473 / 908
» Evolvability
Sort
View
DISOPT
2008
88views more  DISOPT 2008»
15 years 7 months ago
New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
The paper is concerned with the computational evaluation and comparison of a new family of conflict-based branching heuristics for evolved DPLL Satisfiability solvers. Such a fami...
Renato Bruni, Andrea Santori
ENTCS
2010
141views more  ENTCS 2010»
15 years 7 months ago
Debugging as a Science, that too, when your Program is Changing
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
Abhik Roychoudhury
ALIFE
2006
15 years 7 months ago
Neurocontroller Analysis via Evolutionary Network Minimization
This study presents a new evolutionary network minimization (ENM) algorithm. Neurocontroller minimization is beneficial for finding small parsimonious networks that permit a better...
Zohar Ganon, Alon Keinan, Eytan Ruppin
FSS
2008
145views more  FSS 2008»
15 years 7 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
IEE
2008
91views more  IEE 2008»
15 years 7 months ago
Story-driven approach to software evolution
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
Juergen Rilling, Wen Jun Meng, René Witte, ...