Sciweavers

4270 search results - page 392 / 854
» A Permutation Approach to Validation
Sort
View
ICNP
2002
IEEE
15 years 11 months ago
A Theory of Window-Based Unicast Congestion Control
This work presents a comprehensive theoretical framework for window-based congestion control protocols that are designed to converge to fairness and efficiency. We first derive ...
Nishanth R. Sastry, Simon S. Lam
ICRA
2002
IEEE
115views Robotics» more  ICRA 2002»
15 years 11 months ago
Coordination of Multiple Mobile Robots in an Object Carrying Task using Implicit Communication
Abstract — This paper addresses the problem of coordinating multiple mobile robots in a tightly coupled task by means of implicit communication. This approach allows the developm...
Guilherme A. S. Pereira, Bruno S. Pimentel, Luiz C...
INFOCOM
2002
IEEE
15 years 11 months ago
Optimal on-line estimation of the size of a dynamic multicast group
Abstract—In this paper we propose an efficient on-line estimation algorithm for determining the size of a dynamic multicast group. By using diffusion approximation and Kalman ...
Sara Alouf, Eitan Altman, Philippe Nain
ISCAS
2002
IEEE
89views Hardware» more  ISCAS 2002»
15 years 11 months ago
On segmented channel routability
We address the problem of checking the routability of segmented channels using satisfiability. The segmented channel routing problem arises in the context of row-based field progr...
William N. N. Hung, Xiaoyu Song, Alan J. Coppola, ...
PG
2002
IEEE
15 years 11 months ago
Augmenting Computer Graphics with Haptics for the Visualization of Vessel Networks
Current visualization methods of volume angiograms are limited in their ability to display vessel connectivity and depth information readily available in the data set. In this wor...
Dingrong Yi, Vincent Hayward