5086 search results - page 920 / 1018 » The Power of Comparative Reasoning |
121
click to vote
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
Recent dynamic local search (DLS) algorithms such as SAPS are amongst the state-of-the-art methods for solving the propositional satisfiability problem (SAT). DLS algorithms modi...
122
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
122
click to vote
ILP
2004
Springer
15 years 8 months ago
2004
Springer
Recent statistical performance surveys of search algorithms in difficult combinatorial problems have demonstrated the benefits of randomising and restarting the search procedure. ...
151
click to vote
PROMAS
2004
Springer
15 years 8 months ago
2004
Springer
Distributed partially observable Markov decision problems (POMDPs) have emerged as a popular decision-theoretic approach for planning for multiagent teams, where it is imperative f...
129
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose an algorithm based on singular value decomposition (SVD) to reduce the number of process variation variables. With few process variation variables, fault simulation and...