2333 search results - page 238 / 467 » Recursive Computational Depth |
173
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
173
click to vote
EOR
2006
15 years 6 months ago
2006
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...
170
click to vote
CGA
2004
15 years 6 months ago
2004
Point-based rendering is a compact and efficient means of displaying complex geometry. Our goal is to enable flexible point-based rendering, permitting local image refinement, req...
214
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
We consider the problem of delegating computation, where the delegator doesn’t even know the input to the function being delegated, and runs in time significantly smaller than ...
270
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
In this paper, we propose a simple but effective
image prior - dark channel prior to remove haze from a single
input image. The dark channel prior is a kind of statistics
of the...