868 search results - page 4 / 174 » Alternative Essences of Intelligence |
55
Voted
URBAN
2010
14 years 6 months ago
2010
147
click to vote
CP
2004
Springer
15 years 5 months ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...
104
click to vote
ICAI
2009
14 years 9 months ago
2009
Quantified Boolean formulas are a powerful representation that have been used to capture and solve a variety of problems in Artificial Intelligence. While most research has focused...
159
click to vote
ILC
2007
Springer
15 years 5 months ago
2007
Springer
Two-way alternating automata were introduced by Vardi in order to study the satisfiability problem for the modal µ-calculus extended with backwards modalities. In this paper, we ...