Sciweavers

2584 search results - page 245 / 517
» On the Forward Checking Algorithm
Sort
View
ICMCS
2006
IEEE
192views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Low Latency Video Streaming Over Peer-To-Peer Networks
We study peer-to-peer multicast streaming, where a source distributes real-time video to a large population of hosts by making use of their forwarding capacity rather than relying...
Eric Setton, Jeonghun Noh, Bernd Girod
ICRA
2006
IEEE
83views Robotics» more  ICRA 2006»
15 years 9 months ago
On the Treatment of Relative-pose Measurements for Mobile Robot Localization
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...
Anastasios I. Mourikis, Stergios I. Roumeliotis
NOMS
2006
IEEE
15 years 9 months ago
System Support for Management of Networked Low-Power Sensors
— This paper addresses the problem of managing a wireless sensor network with mobile managers. The mobile managers should be able to create their connectivity to the nodes they m...
Jai-Jin Lim, Daniel L. Kiskis, Kang G. Shin
COCOON
2005
Springer
15 years 8 months ago
Fault-Tolerant Relay Node Placement in Wireless Sensor Networks
The paper addresses the relay node placement problem in two-tiered wireless sensor networks. Given a set of sensor nodes in an Euclidean plane, our objective is to place minimum nu...
Hai Liu, Peng-Jun Wan, Xiaohua Jia
CONCUR
2005
Springer
15 years 8 months ago
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
Ahmed Bouajjani, Markus Müller-Olm, Tayssir T...