4488 search results - page 350 / 898 » Focusing Search by Using Problem Solving Experience |
138
click to vote
SC
2003
ACM
15 years 10 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
149
Voted
CAI
2006
Springer
15 years 5 months ago
2006
Springer
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
230
click to vote
VLDB
2006
ACM
16 years 5 months ago
2006
ACM
In this paper we study the following problem. Given a database and a set of queries, we want to find a set of views that can compute the answers to the queries, such that the amoun...
160
click to vote
HIS
2007
15 years 6 months ago
2007
—Machine learning is inherently a multiobjective task. Traditionally, however, either only one of the objectives is adopted as the cost function or multiple objectives are aggreg...
146
Voted
AAECC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. After some excitement generated by recently suggested public key exchange protocols due to Anshel-Anshel-Goldfeld and Ko-Lee et al., it is a prevalent opinion now that th...