Sciweavers

3475 search results - page 378 / 695
» A DEA approach for model combination
Sort
View
IFIP
2004
Springer
16 years 4 days ago
Complementing Computational Protocol Analysis with Formal Specifications
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
DATE
2010
IEEE
184views Hardware» more  DATE 2010»
15 years 12 months ago
Parallel subdivision surface rendering and animation on the Cell BE processor
—Subdivision Surfaces provide a compact way to describe a smooth surface using a mesh model. They are widely used in 3D animation and nearly all modern modeling programs support ...
R. Grottesi, S. Morigi, Martino Ruggiero, Luca Ben...
182
Voted
VLDB
1990
ACM
116views Database» more  VLDB 1990»
15 years 10 months ago
A Probabilistic Framework for Vague Queries and Imprecise Information in Databases
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...
Norbert Fuhr
CGI
2004
IEEE
15 years 10 months ago
Real-Time Rendering of Human Hair Using Programmable Graphics Hardware
We present a hair model together with rendering algorithms suitable for real-time rendering. In our approach, we take into account the major lighting factors contributing to a rea...
Martin Koster, Jörg Haber, Hans-Peter Seidel
DAGM
2006
Springer
15 years 10 months ago
Near Real-Time Motion Segmentation Using Graph Cuts
We present a new approach to integrated motion estimation and segmentation by combining methods from discrete and continuous optimization. The velocity of each of a set of regions ...
Thomas Schoenemann, Daniel Cremers