14165 search results - page 606 / 2833 » The generalized two-server problem |
107
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We study, in this paper, the problem of denoising images/data which are defined over non-flat surfaces. This problem arises often in many medical imaging tasks. The Beltrami flow ...
158
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
This paper identifies and explores the problem of seed selection in a web-scale crawler. We argue that seed selection is not a trivial but very important problem. Selecting proper...
192
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
214
click to vote
STOC
2006
ACM
16 years 7 months ago
2006
ACM
It is proved that several interactive proof systems are zero-knowledge against general quantum attacks. This includes the Goldreich?Micali?Wigderson classical zero-knowledge proto...
202
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
We give efficient algorithms to sample uniformly, and count approximately, the solutions to a zero-one knapsack problem. The algorithm is based on using dynamic programming to pro...