8828 search results - page 1288 / 1766 » Formal methods in practice |
176
click to vote
ICISC
2007
15 years 8 months ago
2007
The starting point for collision attacks on practical hash functions is a local collision. In this paper, we make a systematic study of local collisions for the SHA-2 family. The p...
175
click to vote
LREC
2008
15 years 8 months ago
2008
Spectral clustering is a powerful clustering method for document data set. However, spectral clustering needs to solve an eigenvalue problem of the matrix converted from the simil...
193
click to vote
NIPS
2008
15 years 8 months ago
2008
Ranking is at the heart of many information retrieval applications. Unlike standard regression or classification in which we predict outputs independently, in ranking we are inter...
205
click to vote
NIPS
2007
15 years 8 months ago
2007
We propose a novel method for linear dimensionality reduction of manifold modeled data. First, we show that with a small number M of random projections of sample points in RN belo...
145
click to vote
GIL
2004
15 years 8 months ago
2004
Abstract: In this paper we examine the usefulness of optimisation methods for practical farm program decisions. We inspect three Brandenburg cash crop farms over the last five year...