15 search results - page 2 / 3 » icaisc 2004 |
ICAISC
2004
Springer
13 years 11 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
ICAISC
2004
Springer
13 years 11 months ago
2004
Springer
Our discussion in this article centers on the application of ant algorithms to the non-bifurcated multicommodity flow problem. We propose a general framework of ant algorithm that...
ICAISC
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Several methods were proposed to reduce the number of instances (vectors) in the learning set. Some of them extract only bad vectors while others try to remove as many in...
ICAISC
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Quality of neural network mappings may be evaluated by visual inspection of hidden and output node activities for the training dataset. This paper discusses how to visual...
ICAISC
2004
Springer
13 years 11 months ago
2004
Springer
Scatterograms of the images of training set vectors in the hidden space help to evaluate the quality of neural network mappings and understand internal representations created by t...