134 search results - page 20 / 27 » das 2006 |
100
click to vote
PRL
2008
14 years 11 months ago
2008
This article introduces a scheme for clustering complex and linearly non-separable datasets, without any prior knowledge of the number of naturally occurring groups in the data. T...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
109
click to vote
ASSETS
2006
ACM
15 years 6 months ago
2006
ACM
To browse the Web, blind people have to use screen readers, which process pages sequentially, making browsing timeconsuming. We present a prototype system, CSurf, which provides a...
122
click to vote
DBISP2P
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper addresses the problem of data placement, indexing, and querying large XML data repositories distributed over an existing P2P service infrastructure. Our archit...
182
click to vote
SIGMOD
2006
ACM
16 years 2 days ago
2006
ACM
There has been a great deal of interest in the past few years on ranking of results of queries on structured databases, including work on probabilistic information retrieval, rank...