589 search results - page 96 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
Monitoring is an issue of primary concern in current and next generation networked systems. For example, the objective of sensor networks is to monitor their surroundings for a va...
ICML
2007
IEEE
14 years 8 months ago
2007
IEEE
Markov logic networks (MLNs) are a statistical relational model that consists of weighted firstorder clauses and generalizes first-order logic and Markov networks. The current sta...
BMCBI
2010
13 years 7 months ago
2010
Background: Genomic data provide a wealth of new information for phylogenetic analysis. Yet making use of this data requires phylogenetic methods that can efficiently analyze extr...
ROMAN
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
CVPR
2012
IEEE
11 years 9 months ago
2012
IEEE
Top-down visual saliency facilities object localization by providing a discriminative representation of target objects and a probability map for reducing the search space. In this...