1420 search results - page 130 / 284 » Multi-point Constructive Search |
142
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
125
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
This paper presents a new query recommendation method that generates recommended query list by mining large-scale user logs. Starting from the user logs of click-through data, we ...
149
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Similarity search usually encounters a serious problem in the high dimensional space, known as the “curse of dimensionality”. In order to speed up the retrieval efficiency, p...
155
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Retrieval queries that combine structural constraints with keyword search represent a significant challenge to XML data management systems. Queries are expected to be answered as...
144
click to vote
ADBIS
2007
Springer
15 years 10 months ago
2007
Springer
The M-tree and its variants have been proved to provide an efficient similarity search in database environments. In order to further improve their performance, in this paper we pro...