4112 search results - page 689 / 823 » Efficient Algorithms for the Spoonerism Problem |
196
click to vote
ICWN
2008
15 years 8 months ago
2008
: Problem statement: For a sensor network comprising autonomous and self-organizing data sources, efficient similarity-based search for semantic-rich resources (such as video data)...
196
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
241
Voted
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
Scalable image retrieval systems usually involve hierarchical quantization of local image descriptors, which produces a visual vocabulary for inverted indexing of images. Although ...
163
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Research in algorithms for Boolean satisfiability and their efficient implementations [26, 8] has recently outpaced benchmarking efforts. Most of the classic DIMACS benchmarks fro...
197
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The Web offers rich relational data with different semantics. In this paper, we address the problem of document recommendation in a digital library, where the documents in questio...