Sciweavers

3823 search results - page 539 / 765
» Stability of Hybrid Systems
Sort
View
BIRTHDAY
2007
Springer
15 years 10 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...
IWSAS
2000
Springer
15 years 10 months ago
Mapping an Application to a Control Architecture: Specification of the Problem
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...
Mieczyslaw M. Kokar, Kevin M. Passino, Kenneth Bac...
ESANN
2008
15 years 8 months ago
A neural model with feedback for robust disambiguation of motion
Abstract. The aperture problem is a direct consequence of any local detection in the visual perception of motion. It results in ambiguous responses of the local motion detectors. B...
Mauricio Cerda, Bernard Girau
MOBIS
2008
15 years 8 months ago
Towards Simulation-supported Enterprise Architecture Management
Abstract: Enterprise architecture management is based on a holistic view on the enterprise addressing business and IT aspects in an integrated manner. EA management is a process to...
Sabine Buckl, Florian Matthes, Wolfgang Renz, Chri...
NIPS
2008
15 years 8 months ago
Tracking Changing Stimuli in Continuous Attractor Neural Networks
Continuous attractor neural networks (CANNs) are emerging as promising models for describing the encoding of continuous stimuli in neural systems. Due to the translational invaria...
C. C. Alan Fung, K. Y. Michael Wong, Si Wu