10106 search results - page 499 / 2022 » Algorithm Selection and Scheduling |
224
click to vote
ARITH
2003
IEEE
16 years 27 days ago
2003
IEEE
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...
162
click to vote
AIPS
1998
15 years 9 months ago
1998
The choice of an appropriate problem-solving method, from available methods, is a crucial skill for experts in many areas. We describe a technique for the automatic selection amon...
201
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Automated theorem provers (ATPs) struggle to solve problems with large sets of possibly superfluous axiom. Several algorithms have been developed to reduce the number of ...
204
click to vote
NECO
2007
15 years 7 months ago
2007
Support Vector Machine (SVM) has been spotlighted in the machine learning community thanks to its theoretical soundness and practical performance. When applied to a large data set...
221
click to vote
CP
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. In this paper we propose an optimal anytime version of constrained simulated annealing (CSA) for solving constrained nonlinear programming problems (NLPs). One of the goa...