462 search results - page 33 / 93 » Verifying Properties of Neural Networks |
145
click to vote
DCC
1997
IEEE
15 years 10 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...
163
click to vote
ICANN
2007
Springer
15 years 9 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...
156
click to vote
ETFA
2006
IEEE
15 years 12 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...
153
click to vote
ICIAR
2009
Springer
16 years 15 days 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...
171
click to vote
IWANN
2001
Springer
15 years 10 months 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...