4039 search results - page 202 / 808 » A Method for Dynamic Clustering of Data |
146
click to vote
ATVA
2009
Springer
16 years 22 days ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
166
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
We introduce the problem of query decomposition, where we are given a query and a document retrieval system, and we want to produce a small set of queries whose union of resulting...
159
click to vote
CHI
1999
ACM
15 years 10 months ago
1999
ACM
The widespread use of information visualization is hampered by the lack of effective labeling techniques. A taxonomy of labeling methods is proposed. We then describe “excentric...
176
click to vote
WEBDB
2010
Springer
15 years 11 months ago
2010
Springer
Wikipedia infoboxes is an example of a seemingly structured, yet extraordinarily heterogeneous dataset, where any given record has only a tiny fraction of all possible fields. Su...
164
click to vote
DASFAA
2007
IEEE
15 years 10 months ago
2007
IEEE
In order to efficiently determine structural relationships among XML elements and to avoid re-labeling for updates, much research about labeling schemes has been conducted, recentl...