589 search results - page 70 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
104
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
102
click to vote
WWW
2009
ACM
16 years 14 days ago
2009
ACM
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...
AAAI
1998
15 years 1 months ago
1998
The problem of concurrent mapping and localization has received considerable attention in the mobile robotics community. Existing approachescan largely be grouped into two distinc...
115
click to vote
PVLDB
2010
14 years 10 months ago
2010
Users who are unfamiliar with database query languages can search XML data sets using keyword queries. Previous work has shown that current XML keyword search methods, although in...
109
click to vote
CSR
2006
Springer
15 years 3 months ago
2006
Springer
Regular expression pattern matching is widely used in computational biology. Searching through a database of sequences for a motif (a simple regular expression), or its variations...