4609 search results - page 344 / 922 » Automatic Generation of Sigma-Protocols |
166
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
The history of songs, to which a person has listened, is a very personal piece of information. It is a rich data set that comes as a byproduct of the use of digital music players ...
176
click to vote
CGF
2000
15 years 6 months ago
2000
When articulated figures interact in a 3D environment, collisions are highly likely and must often be avoided. We present a method automatically producing realistic collision-free...
184
click to vote
IJCV
2002
15 years 6 months ago
2002
Three-dimensional (3-D) models of outdoor scenes are widely used for object recognition, navigation, mixed reality, and so on. Because such models are often made manually with hig...
193
click to vote
MP
2002
15 years 6 months ago
2002
In this paper we describe an automatic procedure for successively reducing the set of possible nonzeros in a Jacobian matrix until eventually the exact sparsity pattern is obtained...
163
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
We develop a method for predicting query performance by computing the relative entropy between a query language model and the corresponding collection language model. The resultin...