1865 search results - page 319 / 373 » Pan-Private Streaming Algorithms |
116
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
151
Voted
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
This paper reports the results of SIMD implementation of a number of interpolation algorithms on common personal computers. These methods fit a curve on some given input points for...
132
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Web cache replacement algorithms have received a lot of attention during the past years. Though none of the proposed algorithms deals efficiently with all the particularities of t...
113
click to vote
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
Recently, a server-less video-on-demand architecture has been proposed which can completely eliminate costly dedicated video servers and yet is highly scalable and reliable. Due to...
121
Voted
WACV
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we propose an approach for detecting signs from natural scenes. The approach efficiently embeds multiresolution, adaptive search, and affine rectification algorithm...