3907 search results - page 187 / 782 » Time, Knowledge, and Choice |
167
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
198
click to vote
PQCRYPTO
2010
15 years 10 months ago
2010
Abstract. In this paper a new structural attack on the McEliece/Niederreiter public key cryptosystem based on subcodes of generalized ReedSolomon codes proposed by Berger and Loidr...
165
click to vote
NIPS
2007
15 years 8 months ago
2007
We propose a new measure of conditional dependence of random variables, based on normalized cross-covariance operators on reproducing kernel Hilbert spaces. Unlike previous kernel...
183
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
The choice of the kernel function is crucial to most applications of support vector machines. In this paper, however, we show that in the case of text classification, term-frequenc...
126
click to vote
MANSCI
2010
15 years 5 months ago
2010
This paper introduces a choice-based method that for the first time makes it possible to quantitatively measure regret theory, one of the most popular models of decision under unc...