3156 search results - page 316 / 632 » An address translation simulator |
150
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
138
click to vote
ICMCS
2006
IEEE
16 years 25 days ago
2006
IEEE
A new scheme that classifies the Internet traffic according to their application types for scalable QoS provision is proposed in this work. The traditional port-based classific...
158
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
— We address the problem of modeling and controlling a swarm of fully actuated point-like robots in three dimensions by generalizing the planar framework from [1]. We define a e...
143
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
— This paper addresses the consistency issue of the Extended Kalman Filter approach to the simultaneous localization and mapping (EKF-SLAM) problem. Linearization of the inherent...
164
click to vote
ICRA
2006
IEEE
16 years 25 days ago
2006
IEEE
— Mobile robots have successfully solved many real world problems. In the following we present the use of mobile robots to address the novel and challenging problem of providing ...