4609 search results - page 591 / 922 » Automatic Generation of Sigma-Protocols |
182
Voted
DEM
2001
Springer
15 years 11 months ago
2001
Springer
With the advances in rendering hardware, it is possible to render very complex scenes in real-time. In general, computers do not have enough memory to store all the necessary infor...
212
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
We introduce a purely passive facial capture approach that uses only an array of video cameras, but requires no template facial geometry, no special makeup or markers, and no acti...
180
Voted
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
166
click to vote
PADO
2001
Springer
15 years 11 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...
166
click to vote
CA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a layered animation framework which uses displacement maps for efficient representation and animation of highly detailed surfaces. The model consists of three...