8094 search results - page 7 / 1619 » Improvements in Formula Generalization |
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Scaling discrete AdaBoost to handle real-valued weak hypotheses has often been done under the auspices of convex optimization, but little is generally known from the original boost...
COLT
1991
Springer
13 years 11 months ago
1991
Springer
Abstract. This paper presents a polynomial-time algorithm for inferring a probabilistic generalization of the class of read-once Boolean formulas over the usual basis {AND,OR,NOT}....
AMC
2007
13 years 7 months ago
2007
A new summation formula that is connected to the generalized hypergeometric function is presented. The formula can be applied in the Taylor series method for the solution of ordin...
AMC
2008
13 years 7 months ago
2008
In this article, van der Corput's inequality is generalized by using the well known Euler-Maclaurin sum formula and other analytic techniques.
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...