1994 search results - page 181 / 399 » Limited Software Warranties |
CHI
2006
ACM
16 years 5 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...
187
click to vote
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...
107
click to vote
ICCD
2002
IEEE
16 years 2 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...
137
click to vote
HICSS
2010
IEEE
16 years 9 days 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ļ...
112
click to vote
FOSSACS
2010
Springer
16 years 7 days 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...