Sciweavers

1676 search results - page 126 / 336
» Formal Development of Self-organising Systems
Sort
View
FMSB
2008
142views Formal Methods» more  FMSB 2008»
14 years 11 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
GECCO
2008
Springer
179views Optimization» more  GECCO 2008»
14 years 11 months ago
Emergent architecture in self organized swarm systems for military applications
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
Dustin J. Nowak, Gary B. Lamont, Gilbert L. Peters...
GISCIENCE
2010
Springer
171views GIS» more  GISCIENCE 2010»
14 years 11 months ago
A Visibility and Spatial Constraint-Based Approach for Geopositioning
Over the past decade, automated systems dedicated to geopositioning have been the object of considerable development. Despite the success of these systems for many applications, th...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...
ICAS
2006
IEEE
136views Robotics» more  ICAS 2006»
15 years 4 months ago
Addressing the Signal Grounding Problem for Autonomic Systems
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
Martin Randles, A. Taleb-Bendiab, Philip Miseldine
JALC
2006
95views more  JALC 2006»
14 years 10 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie