110 search results - page 21 / 22 » GRASP - a new search algorithm for satisfiability |
107
click to vote
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
Our work is motivated by the problem of ranking hyperlinked documents for a given query. Given an arbitrary directed graph with edge and node labels, we present a new flow-based ...
SIGIR
2005
ACM
15 years 6 months ago
2005
ACM
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
126
Voted
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
122
click to vote
CIVR
2008
Springer
15 years 3 months ago
2008
Springer
Image clustering is useful in many retrieval and classification applications. The main goal of image clustering is to partition a given dataset into salient clusters such that the...
117
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we propose a Quantified Distributed Constraint Optimization problem (QDCOP) that extends the framework of Distributed Constraint Optimization problems (DCOPs). DCOP...