Sciweavers

12148 search results - page 359 / 2430
» Generalized Bundle Methods
Sort
View
CORR
2008
Springer
159views Education» more  CORR 2008»
15 years 7 months ago
Face Detection Using Adaboosted SVM-Based Component Classifier
: Boosting is a general method for improving the accuracy of any given learning algorithm. In this paper we employ combination of Adaboost with Support Vector Machine (SVM) as comp...
Seyyed Majid Valiollahzadeh, Abolghasem Sayadiyan,...
160
Voted
DM
2008
110views more  DM 2008»
15 years 7 months ago
A novel algorithm enumerating bent functions
By the relationship between the Walsh spectra at partial points and the Walsh spectra of its sub-functions, by the action of general linear group on the set of Boolean functions, ...
Qingshu Meng, Min Yang, Huanguo Zhang, Jingsong Cu...
IGPL
2008
93views more  IGPL 2008»
15 years 7 months ago
Cut-Based Abduction
In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: (i) given an unprovable sequent G, find a sentence H such ...
Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
CORR
1998
Springer
130views Education» more  CORR 1998»
15 years 7 months ago
A Flexible Shallow Approach to Text Generation
In order to support the efficient development of NL generation systems, two orthogonal •methods are currently pursued with emphasis: (i) reusable, general, and linguistically•...
Stephan Busemann, Helmut Horacek
228
Voted
CORR
2011
Springer
155views Education» more  CORR 2011»
14 years 11 months ago
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
David Monniaux, Pierre Corbineau