7167 search results - page 162 / 1434 » Answer Set Programming |
SODA
1992
ACM
15 years 2 months ago
1992
ACM
We consider a version of the game "Twenty Questions" played on the set {0,
APAL
2008
15 years 1 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
15 years 7 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
15 years 7 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...
111
click to vote
NIPS
2007
15 years 2 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...