8413 search results - page 292 / 1683 » Ordering Problem Subgoals |
179
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
161
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
136
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...
163
click to vote
IDEAS
2007
IEEE
16 years 25 days ago
2007
IEEE
The transversal hypergraph enumeration based algorithms can be efficient in mining frequent itemsets, however it is difficult to apply them to sequence mining problems. In this ...
137
click to vote
ECSQARU
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. The problem of averaging outcomes under several scenarios to form overall objective functions is of considerable importance in decision support under uncertainty. The fuz...