3146 search results - page 233 / 630 » Efficient Consequence Finding |
152
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we sketch out a proposed reference implementation for message passing in Java (MPJ), an MPI-like API from the Message-Passing Working Group of the Java Grande Forum ...
177
click to vote
FLAIRS
2008
15 years 9 months ago
2008
There are a lot of approaches for solving planning problems. Many of these approaches are based on `brute force` search methods and do not care about structures of plans previousl...
163
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
We use a lexicographical preference order on the problem space to combine solution synthesis with conflict learning. Given two preferred solutions of two subproblems, we can either...
160
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for decomposing a hypergraph with certain regularities into smaller hypergraphs. By applying this to the set of all canonical covers of a given set of functiona...
165
Voted
ESANN
2008
15 years 8 months ago
2008
Sequential Minimal Optimization (SMO) is currently the most popular algorithm to solve large quadratic programs for Support Vector Machine (SVM) training. For many variants of this...