Sciweavers

3229 search results - page 147 / 646
» Theories with the Independence Property
Sort
View
131
Voted
ANTSW
2010
Springer
14 years 10 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...
84
Voted
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 7 months 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
95
Voted
IEAAIE
2000
Springer
15 years 4 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 27 days 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...
98
Voted
IPL
2006
118views more  IPL 2006»
15 years 23 days 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