33 search results - page 6 / 7 » Experimental Studies of Symbolic Shortest-Path Algorithms |
PPSN
1998
Springer
13 years 10 months ago
1998
Springer
We present a novel approach to concept learning in which a coevolutionary genetic algorithm is applied to the construction of an immune system whose antibodies can discriminate bet...
FMICS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
SYNASC
2005
IEEE
13 years 11 months ago
2005
IEEE
The paper presents a new reinforcement learning mechanism for spiking neural networks. The algorithm is derived for networks of stochastic integrate-and-fire neurons, but it can ...
ATVA
2005
Springer
13 years 11 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
GECCO
2009
Springer
14 years 11 days ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...