Sciweavers

2598 search results - page 80 / 520
» The Abstract Immune System Algorithm
Sort
View
GECCO
2010
Springer
213views Optimization» more  GECCO 2010»
13 years 10 months ago
Consultant-guided search algorithms for the quadratic assignment problem
Abstract. Consultant-Guided Search (CGS) is a recent swarm intelligence metaheuristic for combinatorial optimization problems, inspired by the way real people make decisions based ...
Serban Iordache
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 7 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
FSTTCS
2009
Springer
14 years 4 months ago
Algorithms for Message Ferrying on Mobile ad hoc Networks
ABSTRACT. Message Ferrying is a mobility assisted technique for working around the disconnectedness and sparsity of Mobile ad hoc networks. One of the important questions which ari...
Mostafa H. Ammar, Deeparnab Chakrabarty, Atish Das...
ICARCV
2008
IEEE
197views Robotics» more  ICARCV 2008»
14 years 4 months ago
A new algorithm for calibrating a combined camera and IMU sensor unit
Abstract—This paper is concerned with the problem of estimating the relative translation and orientation between an inertial measurement unit and a camera which are rigidly conne...
Jeroen D. Hol, Thomas B. Schön, Fredrik Gusta...
QEST
2005
IEEE
14 years 3 months ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...