5964 search results - page 852 / 1193 » A theory of speculative computation |
165
Voted
CGF
2008
15 years 7 months ago
2008
The visibility function in direct illumination describes the binary visibility over a light source, e.g., an environment map. Intuitively, the visibility is often strongly correla...
216
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...
194
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We analyze the structure and evolution of discussion cascades in four popular websites: Slashdot, Barrapunto, Meneame and Wikipedia. Despite the big heterogeneities between these ...
158
click to vote
CVIU
2006
15 years 6 months ago
2006
We present a framework for categorical shape recognition. The coarse shape of an object is captured by a multiscale blob decomposition, representing the compact and elongated part...
198
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a robust non-blind watermarking scheme for subdivision surfaces. The algorithm works in the frequency domain, by modulating spectral coefficients of the subdi...