Sciweavers

1972 search results - page 176 / 395
» connection 2008
Sort
View
TROB
2002
114views more  TROB 2002»
15 years 5 months ago
Decentralized control of cooperative robotic vehicles: theory and application
This paper describes how decentralized control theory can be used to analyze the control of multiple cooperative robotic vehicles. Models of cooperation are discussed and related t...
John T. Feddema, Chris Lewis, David A. Schoenwald
TSMC
2002
98views more  TSMC 2002»
15 years 5 months ago
The STAR automaton: expediency and optimality properties
Abstract--We present the STack ARchitecture (STAR) automaton. It is a fixed structure, multiaction, reward-penalty learning automaton, characterized by a star-shaped state transiti...
Anastasios A. Economides, Athanasios Kehagias
163
Voted
ENTCS
2008
90views more  ENTCS 2008»
15 years 5 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
MICS
2007
84views more  MICS 2007»
15 years 5 months ago
Pseudospectra of Matrix Polynomials that Are Expressed in Alternative Bases
Spectra and pseudospectra of matrix polynomials are of interest in geometric intersection problems, vibration problems, and analysis of dynamical systems. In this note we consider ...
Robert M. Corless, Nargol Rezvani, Amirhossein Ami...
MICS
2008
124views more  MICS 2008»
15 years 4 months ago
Community Structures of Networks
We present an approach to studying the community structures of networks by using linear programming (LP). Starting with a network in terms of (a) a collection of nodes and (b) a co...
William Y. C. Chen, Andreas W. M. Dress, Winking Q...