7167 search results - page 162 / 1434 » Answer Set Programming |
SODA
1992
ACM
13 years 10 months ago
1992
ACM
We consider a version of the game "Twenty Questions" played on the set {0,
APAL
2008
13 years 9 months ago
2008
The principal result of this paper answers a long-standing question in the model theory of arithmetic [KS, Question 7] by showing that there exists an uncountable arithmetically cl...
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Straight-line programs (SLPs) offer powerful text compression by representing a text T[1, u] in terms of a restricted context-free grammar of n rules, so that T can be r...
ISIP
2008
IEEE
14 years 3 months ago
2008
IEEE
Adaptive Business Intelligence is the discipline that combines prediction, optimization and adaptability into a system answering two important questions: What would probably happe...
NIPS
2007
13 years 10 months ago
2007
Loopy belief propagation has been employed in a wide variety of applications with great empirical success, but it comes with few theoretical guarantees. In this paper we investiga...