Sciweavers

13376 search results - page 522 / 2676
» Problem Solving with
Sort
View
ECCC
2002
86views more  ECCC 2002»
15 years 7 months ago
Classical Physics and the Church-Turing Thesis
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
Andrew Chi-Chih Yao
ACL
2009
15 years 5 months ago
Automatic Generation of Information-seeking Questions Using Concept Clusters
One of the basic problems of efficiently generating information-seeking dialogue in interactive question answering is to find the topic of an information-seeking question with res...
Shuguang Li, Suresh Manandhar
AIIA
2011
Springer
14 years 7 months ago
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions
Abstract. In this work we present an assessment of state-of-the-art Boolean optimization solvers from different AI communities on over-subscription planning problems. The goal of t...
Marco Maratea, Luca Pulina
FLAIRS
2003
15 years 8 months ago
Incremental Breakout Algorithm with Variable Ordering
This paper presents the Incremental Breakout Algorithm with Variable Ordering (IncBA). This algorithm belongs to the class of local search algorithms for solving Constraint Satisf...
Carlos Eisenberg, Boi Faltings
CDC
2009
IEEE
107views Control Systems» more  CDC 2009»
15 years 12 months ago
Learning approaches to the Witsenhausen counterexample from a view of potential games
— Since Witsenhausen put forward his remarkable counterexample in 1968, there have been many attempts to develop efficient methods for solving this non-convex functional optimiz...
Na Li, Jason R. Marden, Jeff S. Shamma