We have conducted a study of meetings to gain an understanding of the sources of disruption when laptops are present. We videotaped five workplace meetings in which over 600 infor...
We present an online learning approach for robustly combining unreliable
observations from a pedestrian detector to estimate the rough 3D scene geometry
from video sequences of a...
Michael D. Breitenstein, Eric Sommerlade, Bastian ...
Dynamically-loaded tagless loop caching reduces instruction fetch power for embedded software with small loops, but only supports simple loops without taken branches. Preloaded ta...
The topic of virtualization has received renewed attention. Xen is a popular open source type-I hypervisor. The Xen hypervisor currently has limited capabilities for runtime modiļ...
Depth-bounded processes form the most expressive known fragment of the Ļ-calculus for which interesting veriļ¬cation problems are still decidable. In this paper we develop an ade...