2584 search results - page 349 / 517 » On the Forward Checking Algorithm |
95
Voted
EPEW
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
AI
2007
Springer
14 years 10 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
74
Voted
AMC
2008
14 years 10 months ago
2008
Abstract Nowadays many real problems can be modelled as Constraint Satisfaction Problems (CSPs). A search algorithm for constraint programming requires an order in which variables ...
102
click to vote
ANOR
2008
14 years 10 months ago
2008
This paper deals with the job-shop scheduling problem with sequencedependent setup times. We propose a new method to solve the makespan minimization problem to optimality. The met...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The importance of finding the characteristics leading to either a success or a failure is one of the driving forces of data mining. The various application areas of finding succes...