1132 search results - page 98 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
140
click to vote
ORL
2008
15 years 6 months ago
2008
We propose a method to calculate lower and upper bounds of some exponential multivariate integrals using moment relaxations and show that they asymptotically converge to the value...
171
click to vote
JALC
2007
15 years 6 months ago
2007
In this paper, we consider the enumeration of context-free languages. In particular, for any reasonable descriptional complexity measure for context-free grammars, we demonstrate ...
136
click to vote
DM
2000
15 years 6 months ago
2000
We study the number of ways to factor a natural number n into an ordered product of integers, each factor greater than one, denoted by H(n). This counting function from number the...
185
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...
209
click to vote
CORR
2010
Springer
15 years 26 days ago
2010
Springer
Unique-sink orientations (USOs) are an abstract class of orientations of the ncube graph. We consider some classes of USOs that are of interest in connection with the linear compl...