Sciweavers

10296 search results - page 104 / 2060
» Distribution of Mutual Information
Sort
View
126
Voted
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 19 days ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
DCC
2008
IEEE
16 years 9 days ago
The Rate-Distortion Function of a Poisson Process with a Queueing Distortion Measure
This paper presents a proof of the rate distortion function of a Poisson process with a queuing distortion measure that is in complete analogy with the proofs associated with the ...
Todd P. Coleman, Negar Kiyavash, Vijay G. Subraman...
AINTEC
2005
Springer
15 years 6 months ago
Users and Services in Intelligent Networks
— We present a vision of an Intelligent Network in which users dynamically indicate their requests for services, and formulate needs in terms of Quality of Service (QoS) and pric...
Erol Gelenbe
SMILE
2000
Springer
15 years 4 months ago
Augmented Reality Using Uncalibrated Video Sequences
Abstract. Augmented Reality(AR) aims at merging the real and the virtual in order to enrich a real environment with virtual information. Augmentations range from simple text annota...
Kurt Cornelis, Marc Pollefeys, Maarten Vergauwen, ...
ATAL
2008
Springer
15 years 2 months ago
Decentralized coordination of automated guided vehicles
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
David Herrero Pérez, Humberto Martín...