7991 search results - page 369 / 1599 » Using More Reasoning to Improve |
186
click to vote
JSAT
2006
15 years 6 months ago
2006
In this paper, we describe and evaluate three different techniques for translating pseudoboolean constraints (linear constraints over boolean variables) into clauses that can be h...
148
click to vote
LAWEB
2006
IEEE
16 years 25 days ago
2006
IEEE
Policies have been adopted for many reasons within web services and Service-oriented Architecture in general. However, while they are a favoured method of management, this only oc...
193
click to vote
ECRTS
2003
IEEE
16 years 3 days ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
194
click to vote
SGAI
2009
Springer
15 years 11 months ago
2009
Springer
Feature subset selection has become more and more a common topic of research. This popularity is partly due to the growth in the number of features and application domains. The fa...
179
click to vote
ICGA
2007
15 years 6 months ago
2007
In this paper it will be explained how to use bitboards for move generation in shogi. In chess, bitboards have been used in most strong programs because of the easy representation...