Sciweavers

1414 search results - page 47 / 283
» Cover Time and Broadcast Time
Sort
View
LFCS
2007
Springer
14 years 4 months ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
ICMCS
2006
IEEE
144views Multimedia» more  ICMCS 2006»
14 years 4 months ago
Generating a Time Shrunk Lecture Video by Event Detection
Streaming a lecture video via the Internet is important for Elearning. We have developed a system that generates a lecture video using virtual camerawork based on shooting techniq...
Takao Yokoi, Hironobu Fujiyoshi
TSMC
2002
105views more  TSMC 2002»
13 years 9 months ago
On the use of learning automata in the control of broadcast networks: a methodology
Due to its fixed assignment nature, the well-known time division multiple access (TDMA) protocol suffers from poor performance when the offered traffic is bursty. In this paper, an...
Georgios I. Papadimitriou, Mohammad S. Obaidat, An...
PIMRC
2008
IEEE
14 years 4 months ago
Code construction for the selective TDMA cooperative broadcast channel
—In this paper, the selective time division multiple access (S-TDMA) strategy is studied in the downlink channel. This strategy consists in transmitting data to the user with the...
Lina Mroueh, Mohamed Oussama Damen, Stéphan...
ICRA
2007
IEEE
184views Robotics» more  ICRA 2007»
14 years 4 months ago
Experimental Results in Synchronous-Clock One-Way-Travel-Time Acoustic Navigation for Autonomous Underwater Vehicles
— This paper reports recent experimental results in the development and deployment of a synchronous-clock acoustic navigation system suitable for the simultaneous navigation of m...
Ryan Eustice, Louis L. Whitcomb, Hanumant Singh, M...