Sciweavers

5493 search results - page 225 / 1099
» Effectively Polynomial Simulations
Sort
View
IPCCC
2007
IEEE
16 years 25 days ago
On Network Coding Based Multirate Video Streaming in Directed Networks
This paper focuses on network coding based multirate multimedia streaming in directed networks and aims at maximizing the total layers received by all receivers, which directly de...
Chen-guang Xu, Yinlong Xu, Cheng Zhan, Ruizhe Wu, ...
LICS
2007
IEEE
16 years 25 days ago
Separating DAG-Like and Tree-Like Proof Systems
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
Phuong Nguyen
GLOBECOM
2006
IEEE
16 years 18 days ago
Link Performance Bounds in Homogeneous Optically Switched Ring Networks
— We consider a ring topology with limited or full switching capability as deployed in high bandwidth metro optical networks and develop a model to estimate the probability of bl...
Shujia Gong, Bijan Jabbari
ICRA
2006
IEEE
118views Robotics» more  ICRA 2006»
16 years 17 days ago
Symbolic Control for Underactuated Differentially Flat Systems
— In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstaclefree environment. Plans considered admit a finite description l...
Adriano Fagiolini, Luca Greco, Antonio Bicchi, Ben...
ICRA
2006
IEEE
217views Robotics» more  ICRA 2006»
16 years 17 days ago
Complete Coverage Control for Nonholonomic Mobile Robots in Dynamic Environments
— We study the problem of generating continuous steering control for robots to completely cover a bounded region over a finite time. First, we pack the area by disks of minimum ...
Yi Guo, Mohanakrishnan Balakrishnan