Sciweavers

765 search results - page 39 / 153
» Attraction and cooperation in space
Sort
View
BIRTHDAY
2007
Springer
15 years 1 months ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
IJCAI
2003
14 years 11 months ago
Action Selection for Single- and Multi-Robot Tasks Using Cooperative Extended Kohonen Maps
This paper presents an action selection framework based on an assemblage of self-organizing neural networks called Cooperative Extended Kohonen Maps. This framework encapsulates t...
Kian Hsiang Low, Wee Kheng Leow, Marcelo H. Ang Jr...
FLAIRS
2000
14 years 11 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
CORR
2007
Springer
158views Education» more  CORR 2007»
14 years 9 months ago
Multi-group ML Decodable Collocated and Distributed Space Time Block Codes
Abstract— In this paper, collocated and distributed spacetime block codes (DSTBCs) which admit multi-group maximum likelihood (ML) decoding are studied. First the collocated case...
G. Susinder Rajan, B. Sundar Rajan
GECCO
2004
Springer
134views Optimization» more  GECCO 2004»
15 years 3 months ago
Central Point Crossover for Neuro-genetic Hybrids
In this paper, we consider each neural network as a point in a multi-dimensional problem space and suggest a crossover that locates the central point of a number of neural networks...
Soonchul Jung, Byung Ro Moon