3736 search results - page 671 / 748 » Hand-Writing Program Generator Generators |
115
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
129
click to vote
EVOW
2005
Springer
15 years 8 months ago
2005
Springer
This paper reports on steps that have been taken to enhance previously presented evolutionary sound matching work. In doing so, the convergence characteristics are shown to provide...
108
Voted
GECCO
2005
Springer
15 years 8 months ago
2005
Springer
GP uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees, and GP searches t...
158
click to vote
IFIP
2005
Springer
15 years 8 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
145
Voted
MICAI
2005
Springer
15 years 8 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...