462 search results - page 68 / 93 » Verifying Properties of Neural Networks |
ICTAI
1996
IEEE
13 years 11 months ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
ESM
2000
13 years 9 months ago
2000
A data simulator that can facilitate the development of improved sampling and analysis procedures for spatial analysis is proposed. The simulator, implemented in MATLAB, provides ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
This paper presents the design of an associative memory with feedback that is capable of on-line temporal sequence learning. A framework for on-line sequence learning has been prop...
AUTOMATICA
2000
13 years 7 months ago
2000
In this paper, a learning control system is considered for motion systems that are subject to two types of disturbances; reproducible disturbances, that re-occur each run in the s...
IJON
2002
13 years 7 months ago
2002
This paper presents a new adaptive procedure for the linear and non-linear separation of signals with non-uniform, symmetrical probability distributions, based on both simulated a...