882 search results - page 87 / 177 » Local Search for Very Large SAT Problems |
131
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
138
click to vote
MOBISYS
2011
ACM
14 years 7 months ago
2011
ACM
Operators of 3G data networks need to distinguish the performance of each geographic area in their 3G networks to detect and resolve local network problems. This is because the qu...
257
click to vote
ROCAI
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a model class for statistical learning which is based on mixtures of propositional rules. In our mixture model, the weight of a rule is not uniform over the entire ins...
159
click to vote
CATA
2000
15 years 5 months ago
2000
We investigate a method to speed up the O(n3 ) labeling algorithm of Rosenfeld and Pfaltz for segmenting binary images, which is unduly complex for large images. That algorithm sea...
165
click to vote
MM
2009
ACM
15 years 10 months ago
2009
ACM
How to measure and model the similarity between different music items is one of the most fundamental yet challenging research problems in music information retrieval. This paper ...