Sciweavers

3229 search results - page 147 / 646
» Theories with the Independence Property
Sort
View
ANTSW
2010
Springer
15 years 4 months ago
Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics
We describe a theory from Herbert Simon that links the structure of complex systems to increased speed of evolution, and argue the position that this theory can be beneficial to ev...
Jennifer Owen, Susan Stepney, Jonathan Timmis, Ala...
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 27 days ago
Exact controllability of linear neutral type systems by the moment problem approach
Abstract— The problem of exact null-controllability is considered for a wide class of linear neutral type systems with distributed delay. The main tool of the analysis is the app...
Rabah Rabah, Grigory Sklyar
IEAAIE
2000
Springer
15 years 10 months ago
Modeling of, and Reasoning with Recurrent Events with Imprecise Durations
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
Stanislav Kurkovsky, Rasiah Loganantharaj
CORR
2010
Springer
175views Education» more  CORR 2010»
15 years 6 months ago
On affine rigidity
We study the properties of affine rigidity of a (hyper)graph and prove a variety of fundamental results. First, we show that affine rigidity is a generic property (i.e., only depen...
Steven J. Gortler, Craig Gotsman, Ligang Liu, Dyla...
IPL
2006
118views more  IPL 2006»
15 years 6 months ago
Easy intruder deduction problems with homomorphisms
We present complexity results for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebr...
Stéphanie Delaune