NP-completeness of the linear complementarity problem
Journal of Optimization Theory and Applications
A polynomial-time algorithm for a class of linear complementary problems
Mathematical Programming: Series A and B
Inner and outer j-radii of convex bodies in finite-dimensional normed spaces
Discrete & Computational Geometry
Extracting Refined Rules from Knowledge-Based Neural Networks
Machine Learning
Knowledge-based artificial neural networks
Artificial Intelligence
The nature of statistical learning theory
The nature of statistical learning theory
Learning from Data: Concepts, Theory, and Methods
Learning from Data: Concepts, Theory, and Methods
Dual Characterizations of Set Containments with Strict Convex Inequalities
Journal of Global Optimization
Generalized semi-infinite programming: A tutorial
Journal of Computational and Applied Mathematics
Stability of the intersection of solution sets of semi-infinite systems
Journal of Computational and Applied Mathematics
On the stable containment of two sets
Journal of Global Optimization
Dual characterizations of the set containments with strict cone-convex inequalities in Banach spaces
Journal of Global Optimization
Set containment characterization for quasiconvex programming
Journal of Global Optimization
Set containment characterization with strict and weak quasiconvex inequalities
Journal of Global Optimization
CalCS: SMT solving for non-linear convex constraints
Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design
Operations Research Letters
Hi-index | 0.00 |
Characterization of the containment of a polyhedral set in a closed halfspace, a key factor in generating knowledge-based support vector machine classifiers [7], is extended to the following: (i) containment of one polyhedral set in another; (ii) containment of a polyhedral set in a reverse-convex set defined by convex quadratic constraints; (iii) Containment of a general closed convex set, defined by convex constraints, in a reverse-convex set defined by convex nonlinear constraints. The first two characterizations can be determined in polynomial time by solving im linear programs for (i) and im convex quadratic programs for (ii), where im is the number of constraints defining the containing set. In (iii), im convex programs need to be solved in order to verify the characterization, where again im is the number of constraints defining the containing set. All polyhedral sets, like the iknowledge sets of support vector machine classifiers, are characterized by the intersection of a finite number of closed halfspaces.