1024 search results - page 149 / 205 » Graph Based Modeling of P2P Streaming Systems |
108
click to vote
CONTEXT
2005
Springer
15 years 8 months ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
133
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
118
Voted
AVSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This article presents a modular architecture for multicamera tracking in the context of sports broadcasting. For each video stream, a geometrical module continuously performs the ...
132
click to vote
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
101
click to vote
MM
1997
ACM
15 years 6 months ago
1997
ACM
–Large scale clustered continuous media (CM) servers deployed in applications like video-on-demand have high availability requirements. In the event of server failure, streams fr...