Sciweavers

3637 search results - page 254 / 728
» On Dynamic Bit-Probe Complexity
Sort
View
NOTERE
2010
14 years 9 months ago
Managing group membership in ad hoc m-commerce trading systems
Abstract—Managing group membership in an ad hoc mcommerce trading forum is a challenging task as peers may only have partial knowledge of the current membership due to frequent n...
Husna Osman, Hamish Taylor
PROCEDIA
2010
84views more  PROCEDIA 2010»
14 years 9 months ago
Individual-based simulation of sexual selection: A quantitative genetic approach
Sexual selection has been mathematically modeled using quantitative genetics as well as population genetics. Two-locus simulation models have been used to study the evolution of m...
D. van Dijk, Peter M. A. Sloot, J. C. Tay, M. C. S...
PROCEDIA
2010
116views more  PROCEDIA 2010»
14 years 9 months ago
Towards fully autonomic peer-to-peer systems
Large-scale distributed applications are becoming more and more demanding in terms of efficiency and flexibility of the technological infrastructure, for which traditional soluti...
Michele Amoretti
FORMATS
2010
Springer
14 years 9 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
95
Voted
ICRA
2010
IEEE
148views Robotics» more  ICRA 2010»
14 years 9 months ago
An integrated probabilistic model for scan-matching, moving object detection and motion estimation
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
Joop van de Ven, Fabio Ramos, Gian Diego Tipaldi