589 search results - page 47 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
107
click to vote
TCBB
2008
14 years 11 months ago
2008
It is a consensus in microarray analysis that identifying potential local patterns, characterized by coherent groups of genes and conditions, may shed light on the discovery of pre...
134
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper addresses action spotting, the spatiotemporal detection and localization of human actions in video. A novel compact local descriptor of video dynamics in the context of...
ACL
2012
13 years 2 months ago
2012
This paper studies the problem of sentencelevel semantic coherence by answering SATstyle sentence completion questions. These questions test the ability of algorithms to distingui...
112
click to vote
ICML
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper we investigate two aspects of ranking problems on large graphs. First, we augment the deterministic pruning algorithm in Sarkar and Moore (2007) with sampling techni...
122
click to vote
EDBT
2012
ACM
13 years 2 months ago
2012
ACM
Conventional research on similarity search focuses on measuring the similarity between objects with the same type. However, in many real-world applications, we need to measure the...