1994 search results - page 181 / 399 » Limited Software Warranties |
CHI
2006
ACM
14 years 11 months ago
2006
ACM
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...
Publication
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...
ICCD
2002
IEEE
14 years 7 months ago
2002
IEEE
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...
HICSS
2010
IEEE
14 years 5 months ago
2010
IEEE
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ļ...
FOSSACS
2010
Springer
14 years 5 months ago
2010
Springer
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...