1888 search results - page 267 / 378 » Proof theory and computational analysis |
130
click to vote
SIGECOM
2005
ACM
15 years 7 months ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...
126
click to vote
ISSAC
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we present a truncated version of the classical Fast Fourier Transform. When applied to polynomial multiplication, this algorithm has the nice property of eliminati...
101
click to vote
COLING
2002
15 years 1 months ago
2002
Cross-linguistic phoneme correspondences, or metaphonemes1 , can be defined across languages which are relatively closely related in exactly the same way as correspondences can be...
107
click to vote
SDM
2010
SIAM
14 years 11 months ago
2010
SIAM
The recent years have witnessed a surge of interests in Nonnegative Matrix Factorization (NMF) in data mining and machine learning fields. Despite its elegant theory and empirical...
116
Voted
IMCS
2007
15 years 1 months ago
2007
Purpose – This paper aims to report on the results of an analysis of the computer security problem space, to suggest the areas with highest potential for making progress in the ...