17920 search results - page 3342 / 3584 » Recentering computer science |
166
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
185
click to vote
ICPR
2010
IEEE
16 years 29 days ago
2010
IEEE
In this paper we address the problem of relighting faces in presence of cast shadows and specularities. We present a solution to this problem by capturing the spatially varying Ap...
132
click to vote
CHI
2010
ACM
16 years 27 days ago
2010
ACM
To find interesting, personally relevant web content, people rely on friends and colleagues to pass links along as they encounter them. In this paper, we study and augment linksha...
167
click to vote
SAC
2010
ACM
16 years 27 days ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
193
click to vote
SAC
2010
ACM
16 years 27 days ago
2010
ACM
NAND flash-based solid state drives have emerged as revolutionary storage media during recent years. However, the wide-spread of SSD technology is currently obstructed by the fac...