5550 search results - page 908 / 1110 » Different Approaches to Proof Systems |
195
click to vote
SCP
2008
15 years 6 months ago
2008
Today's complex applications must face the distribution of data and code among different network nodes. Computation in distributed contexts is demanding increasingly powerful...
212
click to vote
TASLP
2008
15 years 6 months ago
2008
Abstract--We propose an automatic method for measuring content-based music similarity, enhancing the current generation of music search engines and recommender systems. Many previo...
207
click to vote
TSE
2008
15 years 6 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...
203
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
We consider the problem of characterisation of sequences of heterogeneous symbolic data that arise from a common underlying temporal pattern. The data, which are subject to impreci...
197
click to vote
TCOM
2010
15 years 5 months ago
2010
—Cooperative spectrum sensing has been shown to be able to greatly improve the sensing performance in cognitive radio networks. However, if cognitive users belong to different se...