Throughout the centuries, nature has been a source of inspiration, with much still to learn
from and discover about. Among many others, Swarm Intelligence (SI), a substantial branch …

Known as an artificial intelligence subarea, Swarm Robotics is a developing study field
investigating bio-inspired collaborative control approaches and integrates a huge collection …

Association-rule mining has heretofore relied on the condition of high support to do its work
efficiently. In particular, the well-known a priori algorithm is only effective when the only rules …

Recognizing human activity from a stream of sensory observations is important for a number
of applications such as surveillance and human-computer interaction. Hidden Markov …

Formal verification provides assurance to the modeling and design of robotic applications in
executing autonomous operations. With the advancement of technologies, robotic …

Greater understanding of biology in modern times has enabled significant breakthroughs in
improving healthcare, quality of life, and eliminating many diseases and congenital …

In the industry, communicating automata specifications are mainly used in fields where the
reliability requirements are high, as this formalism allow the use of powerful validation tools …

We view an evolutionary system as being a software product line. The core architecture is
the unchanging part of the system, and each version of the system may be viewed as a …

The use of swarm technologies has become prevalent in a variety of application domains:
medical, bioinformatics, military/defense, surveillance, even internet television broadcasting …

The need to collect new data and perform new science is causing the complexity of NASA
missions to continually increase. This complexity needs to be controlled via new …