Sciweavers

12289 search results - page 1683 / 2458
» computing 2006
Sort
View
AINA
2006
IEEE
16 years 1 months ago
HyMoNet: a peer-to-peer hybrid multicast overlay network for efficient live media streaming
This paper presents HyMoNet, a peer-to-peer hybrid multicast overlay network for efficient live media streaming. The system comprises two parts: service infrastructure and user sp...
Bin Chang, Yuanchun Shi, Nan Zhang
DSN
2006
IEEE
16 years 1 months ago
Static Analysis to Enforce Safe Value Flow in Embedded Control Systems
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
Sumant Kowshik, Grigore Rosu, Lui Sha
ICPR
2006
IEEE
16 years 1 months ago
Gesture Segmentation from a Video Sequence Using Greedy Similarity Measure
We propose a novel method of greedy similarity measure to segment long spatial-temporal video sequences. Firstly, a principal curve of motion region along frames of a video sequen...
Qiulei Dong, Yihong Wu, Zhanyi Hu
IPPS
2006
IEEE
16 years 1 months ago
Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
Peter Csaba Ölveczky, Stian Thorvaldsen
SIBGRAPI
2006
IEEE
16 years 1 months ago
Single Triangle Strip and Loop on Manifolds with Boundaries
The single triangle-strip loop generation algorithm on a triangulated two-manifold presented by Gopi and Eppstein [4] is based on the guaranteed existence of a perfect matching in...
Pablo Diaz-Gutierrez, David Eppstein, M. Gopi
« Prev « First page 1683 / 2458 Last » Next »