330 search results - page 35 / 66 » Algorithms for Propositional Model Counting |
101
click to vote
SODA
2010
ACM
15 years 11 months ago
2010
ACM
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...
121
click to vote
SIGIR
1999
ACM
15 years 6 months ago
1999
ACM
Probabilistic Latent Semantic Indexing is a novel approach to automated document indexing which is based on a statistical latent class model for factor analysis of count data. Fit...
101
click to vote
SAT
2004
Springer
15 years 7 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
141
click to vote
CLUSTER
2002
IEEE
15 years 2 months ago
2002
IEEE
Several distributed routing algorithms for wireless networks were described recently, based on location information of nodes available via Global Positioning System (GPS). In gree...
104
click to vote
SPIRE
2004
Springer
15 years 7 months ago
2004
Springer
This work provides algorithms and heuristics to index text documents by determining important topics in the documents. To index text documents, the work provides algorithms to gene...