Sciweavers

462 search results - page 8 / 93
» Verifying Properties of Neural Networks
Sort
View
NN
1998
Springer
13 years 7 months ago
Neural control of rhythmic arm movements
In this paper we present an approach to robot arm control based on exploiting the dynamical properties of a simple neural network oscillator circuit coupled to the joints of an ar...
Matthew M. Williamson
IJCNN
2000
IEEE
13 years 12 months ago
An Incremental Growing Neural Network and its Application to Robot Control
This paper describes a novel network model, which is able to control its growth on the basis of the approximation requests. Two classes of self-tuning neural models are considered...
A. Carlevarino, R. Martinotti, Giorgio Metta, Giul...
CSSE
2008
IEEE
14 years 1 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
DAGSTUHL
2003
13 years 8 months ago
Removing Some 'A' from AI: Embodied Cultured Networks
We embodied networks of cultured biological neurons in simulation and in robotics. This is a new research paradigm to study learning, memory, and information processing in real tim...
Douglas J. Bakkum, Alexander C. Shkolnik, Guy Ben-...
BC
2000
77views more  BC 2000»
13 years 7 months ago
Generic origins of irregular spiking in neocortical networks
We identify generic sources of complex and irregular spiking in biological neural networks. For the network description, we operate on a mathematically exact mesoscopic approach. S...
Ruedi Stoop, L. A. Bunimovich, Willi-Hans Steeb