Sciweavers

10296 search results - page 104 / 2060
» Distribution of Mutual Information
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 3 months 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
146
Voted
DCC
2008
IEEE
16 years 3 months 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...
110
Voted
AINTEC
2005
Springer
15 years 9 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 7 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, ...
133
Voted
ATAL
2008
Springer
15 years 5 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...