Sciweavers

7623 search results - page 167 / 1525
» Constructive Volume Modeling
Sort
View
3DPVT
2002
IEEE
204views Visualization» more  3DPVT 2002»
15 years 8 months ago
Half-Edge Multi-Tessellation: A Compact Representation for Multi-Resolution Tetrahedral Meshes
This paper deals with the problem of analyzing and visualizing volume data sets of large size. To this aim, we define a three-dimensional multi-resolution model based on unstruct...
Emanuele Danovaro, Leila De Floriani
CCS
2009
ACM
16 years 4 months ago
A generic construction of useful client puzzles
Denial of Service (DoS) attacks are serious threats for network societies. For dealing with DoS attacks, Jakobsson and Juels first proposed the notion of useful client puzzles (UC...
Rui Zhang 0002, Goichiro Hanaoka, Hideki Imai
129
Voted
CADE
2006
Springer
16 years 3 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
155
Voted
CODES
1998
IEEE
15 years 7 months ago
The construction of a retargetable simulator for an architecture template
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
Bart Kienhuis, Ed F. Deprettere, Kees A. Vissers, ...
141
Voted
EUROCRYPT
2010
Springer
15 years 6 months ago
Constructing Verifiable Random Functions with Large Input Spaces
We present a family of verifiable random functions which are provably secure for exponentially-large input spaces under a non-interactive complexity assumption. Prior construction...
Susan Hohenberger, Brent Waters