Sciweavers

5054 search results - page 301 / 1011
» simulation 2008
Sort
View
EUROCRYPT
2008
Springer
15 years 8 months ago
Precise Concurrent Zero Knowledge
Precise zero knowledge introduced by Micali and Pass (STOC'06) guarantees that the view of any verifier V can be simulated in time closely related to the actual (as opposed t...
Omkant Pandey, Rafael Pass, Amit Sahai, Wei-Lung D...
CAD
2008
Springer
15 years 6 months ago
Geometrically exact dynamic splines
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
Adrien Theetten, Laurent Grisoni, Claude Andriot, ...
CGA
2008
15 years 6 months ago
Depth-of-Field Blur Effects for First-Person Navigation in Virtual Environments
This paper studies the use of visual blur effects, i.e., blurring of parts of the image fed back to the user, for First-Person-Navigations in Virtual Environments (VE). First, we ...
Sébastien Hillaire, Anatole Lécuyer,...
CORR
2008
Springer
108views Education» more  CORR 2008»
15 years 6 months ago
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
Resolution refinements called w-resolution trees with lemmas (WRTL) and with input lemmas (WRTI) are introduced. Dag-like resolution is equivalent to both WRTL and WRTI when there...
Samuel R. Buss, Jan Hoffmann 0002, Jan Johannsen
MCS
2008
Springer
15 years 6 months ago
A wildland fire model with data assimilation
A wildfire model is formulated based on balance equations for energy and fuel, where the fuel loss due to combustion corresponds to the fuel reaction rate. The resulting coupled p...
Jan Mandel, Lynn S. Bennethum, Jonathan D. Beezley...