Sciweavers

1119 search results - page 99 / 224
» On the Invariance of Ant System
Sort
View
CORR
2004
Springer
112views Education» more  CORR 2004»
14 years 9 months ago
Swarms on Continuous Data
While being it extremely important, many Exploratory Data Analysis (EDA [21]) systems have the inhability to perform classification and visualization in a continuous basis or to se...
Vitorino Ramos, Ajith Abraham
FM
2009
Springer
138views Formal Methods» more  FM 2009»
15 years 4 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...
AUTONOMICS
2008
ACM
14 years 12 months ago
Design of a fence surveillance system based on wireless sensor networks
In this paper, we present a real application system based on wireless sensor network (WSN) for fence surveillance which is implemented on our development platform for WSN, called ...
Youngsoo Kim, Jonggu Kang, Daeyoung Kim, Eunjo Kim...
CORR
2008
Springer
156views Education» more  CORR 2008»
14 years 10 months ago
Artificial Immune Systems (AIS) - A New Paradigm for Heuristic Decision Making
Over the last few years, more and more heuristic decision making techniques have been inspired by nature, e.g. evolutionary algorithms, ant colony optimisation and simulated annea...
Uwe Aickelin
GECCO
2008
Springer
129views Optimization» more  GECCO 2008»
14 years 11 months ago
Searching for liveness property violations in concurrent systems with ACO
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
Enrique Alba, J. Francisco Chicano