1757 search results - page 201 / 352 » Alternating Refinement Relations |
147
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
134
Voted
KDD
2001
ACM
16 years 4 months ago
2001
ACM
Given a dataset, each element of which labeled by one of k labels, we construct by a very fast algorithm, a k-category proximal support vector machine (PSVM) classifier. Proximal s...
149
Voted
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
As more and more query processing work can be done in main memory, memory access is becoming a significant cost component of database operations. Recent database research has show...
130
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
174
Voted
ISRR
2005
Springer
15 years 9 months ago
2005
Springer
Large area mapping at high resolution underwater continues to be constrained by the mismatch between available navigation as compared to sensor accuracy. In this paper we present ...