Sciweavers

2598 search results - page 176 / 520
» The Abstract Immune System Algorithm
Sort
View
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 7 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
WCNC
2010
IEEE
15 years 6 months ago
Socially-Aware Publish/Subscribe System for Human Networks
Abstract—The development of modern communication technologies fosters human networks (HUNETs)—an information dissemination platform comprised of human-carried wirelessenabled d...
Yaxiong Zhao, Jie Wu
DAGSTUHL
2007
15 years 3 months ago
Compiler-based Software Power Peak Elimination on Smart Card Systems
Abstract. RF-powered smart cards are widely used in different application areas today. For smart cards not only performance is an important attribute, but also the power consumed ...
Matthias Grumer, Manuel Wendt, Christian Steger, R...
PIMRC
2008
IEEE
15 years 8 months ago
Optimal constellation distortion for PAR reduction in OFDM systems
Abstract—The high peak-to-average-power ratio (PAR) of Orthogonal Frequency Division Multiplexing (OFDM) transmission systems significantly reduces the power efficiency or perf...
Moshe Malkin, Brian S. Krongold, John M. Cioffi
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
15 years 8 months ago
Automatic Relocalisation for a Single-Camera Simultaneous Localisation and Mapping System
Abstract— We describe a fast method to relocalise a monocular visual SLAM (Simultaneous Localisation and Mapping) system after tracking failure. The monocular SLAM system stores ...
Brian Williams, Paul Smith, Ian D. Reid