1128 search results - page 195 / 226 » Classical Natural Deduction |
162
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
The problem of selecting a subset of relevant features in a potentially overwhelming quantity of data is classic and found in many branches of science. Examples in computer vision...
122
click to vote
DAC
1999
ACM
16 years 5 months ago
1999
ACM
We empirically assess the implications of fixed terminals for hypergraph partitioning heuristics. Our experimental testbed incorporates a leading-edge multilevel hypergraph partit...
146
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
In this paper we describe a method to enable a robot to learn how a user gives commands and feedback to it by speech, prosody and touch. We propose a biologically inspired approac...
118
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. The notion of resettable zero-knowledge (rZK) was introduced by Canetti, Goldreich, Goldwasser and Micali (FOCS'01) as a strengthening of the classical notion of zer...
121
click to vote
PODC
2009
ACM
16 years 5 months ago
2009
ACM
A method is given for constructing a max register, a linearizable, wait-free concurrent data structure that supports a write operation and a read operation that returns the larges...