4184 search results - page 341 / 837 » Names of Our Lives |
164
click to vote
TREC
2007
15 years 8 months ago
2007
Lucene is an increasingly popular open source search library. However, our experiments of search quality for TREC data and evaluations for out-of-the-box Lucene indicated inferior...
180
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Though the existence of a minimum delay peer-to-peer media streaming scheme has been shown (under the name of snowball streaming), no actual algorithm has ever been designed so fa...
189
click to vote
JNW
2008
15 years 6 months ago
2008
The performance of any cellular wireless network, as well as its revenue (number of customers using the network, and their degree of satisfaction) is determined to a great extent b...
175
click to vote
JMLR
2006
15 years 6 months ago
2006
Given a matrix of values in which the rows correspond to objects and the columns correspond to features of the objects, rearrangement clustering is the problem of rearranging the ...
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...