738 search results - page 137 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
145
Voted
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Advances in modern technologies for measuring protein-protein interaction (PPI) has boosted research in PPI networks analysis and comparison. One of the challenging problems in com...
156
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Top-k query has long been an important topic in many fields of computer science. Efficient implementation of the top-k queries is the key for information searching. With the n...
170
Voted
TCSV
2010
14 years 10 months ago
2010
Abstract--Most existing works on routing for video transmission over multihop wireless networks only focus on how to satisfy the network-oriented quality-of-service (QoS), such as ...
126
Voted
SYNASC
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
144
Voted
CIVR
2008
Springer
15 years 5 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...