845 search results - page 137 / 169 » Connecting Many-Sorted Theories |
EUROCRYPT
2008
Springer
13 years 10 months ago
2008
Springer
Non-interactive zero-knowledge proofs and non-interactive witness-indistinguishable proofs have played a significant role in the theory of cryptography. However, lack of efficienc...
ACMIDC
2008
13 years 10 months ago
2008
In this paper we present the results of a comparative study that explores the potential benefits of using embodied ion to help children, aged 7 to 10, learn abstract concepts rela...
IJCAI
2007
13 years 10 months ago
2007
A formula in first-order logic can be viewed as a tree, with a logical connective at each node, and a knowledge base can be viewed as a tree whose root is a conjunction. Markov l...
SDM
2008
SIAM
13 years 10 months ago
2008
SIAM
In many multiclass learning scenarios, the number of classes is relatively large (thousands,...), or the space and time efficiency of the learning system can be crucial. We invest...
NIPS
2007
13 years 10 months ago
2007
We present a theoretical study on the discriminative clustering framework, recently proposed for simultaneous subspace selection via linear discriminant analysis (LDA) and cluster...