Sciweavers

3521 search results - page 598 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
TCS
2010
15 years 1 months ago
Stability analysis of the reproduction operator in bacterial foraging optimization
One of the major operators of Bacterial Foraging Optimization Algorithm (BFOA) is the reproduction phenomenon of virtual bacteria each of which models one trial solution of the op...
Arijit Biswas, Swagatam Das, Ajith Abraham, Sambar...
112
Voted
TCS
2010
15 years 1 months ago
Detecting synchronisation of biological oscillators by model checking
We define a subclass of timed automata, called oscillator timed automata, suitable to model biological oscillators. Coupled biological oscillators may synchronise, as emerging be...
Ezio Bartocci, Flavio Corradini, Emanuela Merelli,...
141
Voted
ADHOCNETS
2010
Springer
15 years 21 days ago
Balanced Itinerary Planning for Multiple Mobile Agents in Wireless Sensor Networks
In this paper, we consider the use of multiple mobile software agents to perform different tasks in wireless sensor networks (WSNs). To this regard, determining the number of mobil...
Min Chen, Wei Cai, Sergio González-Valenzue...
125
Voted
ICPR
2010
IEEE
15 years 18 days ago
Online Next-Best-View Planning for Accuracy Optimization Using an Extended E-Criterion
Next-best-view (NBV) planning is an important aspect for three-dimensional (3D) reconstruction within controlled environments, such as a camera mounted on a robotic arm. NBV metho...
Michael Trummer, Christoph Munkelt, Joachim Denzle...
142
Voted
ISVC
2010
Springer
15 years 17 days ago
Split Bregman Method for Minimization of Region-Scalable Fitting Energy for Image Segmentation
Abstract. In this paper, we incorporated the global convex segmentation method and the split Bregman technique into the region-scalable fitting energy model. The new proposed metho...
Yunyun Yang, Chunming Li, Chiu-Yen Kao, Stanley Os...