462 search results - page 33 / 93 » Verifying Properties of Neural Networks |
DCC
1997
IEEE
13 years 12 months ago
1997
IEEE
d abstract Philip M. Long Apostol I. Natsevy Je rey Scott Vittery We consider re-representing the alphabet so that a representation of a character re ects its properties as a pr...
ICANN
2007
Springer
13 years 11 months ago
2007
Springer
We present an artificial neural network used to learn online complex temporal sequences of gestures to a robot. The system is based on a simple temporal sequences learning architec...
ETFA
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
ICIAR
2009
Springer
14 years 2 months ago
2009
Springer
The paper presents a joint sensing strategy that combines tactile probing and range imaging for the mapping of the elastic properties that characterize 3D deformable objects. A fee...
IWANN
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. Mechanisms for adapting models, filters, regulators and so on to changing properties of a system are of fundamental importance in many modern identification, estimation...