Sciweavers

2333 search results - page 212 / 467
» Recursive Computational Depth
Sort
View
TCC
2007
Springer
124views Cryptology» more  TCC 2007»
16 years 17 days ago
Tackling Adaptive Corruptions in Multicast Encryption Protocols
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
Saurabh Panjwani
NPAR
2006
ACM
16 years 13 days ago
Stylizing 2.5-D video
In recent years considerable interest has been given to nonphotorealistic rendering of photographs, video, and 3D models for illustrative or artistic purposes. Conventional 2D inp...
Noah Snavely, C. Lawrence Zitnick, Sing Bing Kang,...
EGH
2005
Springer
16 years 6 hour ago
GPU-accelerated high-quality hidden surface removal
High-quality off-line rendering requires many features not natively supported by current commodity graphics hardware: wide smooth filters, high sampling rates, order-independent ...
Daniel Wexler, Larry Gritz, Eric Enderton, Jonatha...
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 8 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
WSCG
2004
137views more  WSCG 2004»
15 years 7 months ago
Robust Range Image Registration using a Common Plane
This paper presents a method for the registration of range image pairs that were captured from different locations. The proposed approach assumes that a common 3D plane is least v...
Joachim Bauer, Konrad F. Karner, Andreas Klaus, Ro...