1888 search results - page 302 / 378 » Proof theory and computational analysis |
103
click to vote
WWW
2004
ACM
16 years 16 days ago
2004
ACM
A (directed) network of people connected by ratings or trust scores, and a model for propagating those trust scores, is a fundamental building block in many of today's most s...
STOC
2005
ACM
16 years 4 days ago
2005
ACM
We give a 1-pass ~O(m1-2/k )-space algorithm for computing the k-th frequency moment of a data stream for any real k > 2. Together with the lower bounds of [1, 2, 4], this reso...
111
click to vote
MOBIHOC
2007
ACM
15 years 11 months ago
2007
ACM
A number of studies have shown the abundance of unused spectrum in the TV bands. This is in stark contrast to the overcrowding of wireless devices in the ISM bands. A recent trend...
CSCW
2010
ACM
15 years 8 months ago
2010
ACM
There is general consensus that critical mass at inception ensures the sustained success of online communities. However, no clear understanding of what constitutes such a 'cr...
AINA
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....