Sciweavers

2900 search results - page 315 / 580
» On the Convergence of Immune Algorithms
Sort
View
IFM
2009
Springer
158views Formal Methods» more  IFM 2009»
16 years 1 months ago
Developing Topology Discovery in Event-B
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
Thai Son Hoang, Hironobu Kuruma, David A. Basin, J...
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
16 years 1 months ago
Stereo matching for calibrated cameras without correspondence
Abstract— We study the stereo matching problem for reconstruction of the location of 3D-points on an unknown surface patch from two calibrated identical cameras without using any...
Uwe Helmke, Knut Hüper, L. Vences
CEC
2008
IEEE
16 years 1 months ago
Real-time evolution of an embedded controller for an autonomous helicopter
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
Benjamin N. Passow, Mario A. Góngora, S. Co...
PIMRC
2008
IEEE
16 years 1 months ago
Blind channel estimation based on Second Order Statistics for IFDMA
—In this paper, the Interleaved Frequency Division Multiple Access (IFDMA) scheme is considered as a special case of Discrete Fourier Transform (DFT)-precoded Orthogonal Frequenc...
Anja Sohl, Anja Klein
ICC
2007
IEEE
119views Communications» more  ICC 2007»
16 years 1 months ago
Graph-Based Detector for BLAST Architecture
Abstract— We propose belief propagation (BP) based detection algorithms for the Bell labs layered space-time (BLAST) architectures. We first develop a full complexity BP algorit...
Jun Hu, Tolga M. Duman