1302 search results - page 41 / 261 » Soundness in the Public-Key Model |
107
click to vote
CSR
2008
Springer
15 years 3 months ago
2008
Springer
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
125
click to vote
IMA
2007
Springer
15 years 8 months ago
2007
Springer
Demand in the consumer market for graphics hardware that accelerates rendering of 3D images has resulted in commodity devices capable of astonishing levels of performance. These re...
127
click to vote
ICCV
2001
IEEE
16 years 3 months ago
2001
IEEE
Video telephony could be considerably enhanced by provision of a tracking system that allows freedom of movement to the speaker, while maintaining a well-framed image, for transmi...
CHI
2002
ACM
16 years 2 months ago
2002
ACM
We have developed a 3D sound system for headphones that allows real-time sound source and user displacement in a virtual acoustic environment. Because of a flexible design that us...
109
click to vote
TVCG
2008
15 years 1 months ago
2008
We present an interactive algorithm to compute sound propagation paths for transmission, specular reflection and edge diffraction in complex scenes. Our formulation uses an adaptiv...