491 search results - page 37 / 99 » Linear Quantifier Elimination |
151
Voted
ICCS
2004
Springer
16 years 23 days ago
2004
Springer
The paper presents a highly optimized implementation of a multifrontal solver for linear systems arising in the FEM simulation of multi-physics problems related to the behaviour of...
164
Voted
LPAR
1994
Springer
15 years 11 months ago
1994
Springer
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potent...
201
Voted
DMIN
2006
15 years 8 months ago
2006
- An ideal ensemble is composed of base classifiers that perform well and that have minimal overlap in their errors. Eliminating classifiers from an ensemble based on a criterion t...
198
Voted
HIS
2001
15 years 8 months ago
2001
In this paper we describe a method for data set reduction by effective use of Multi-category Proximal Support Vector Machine (MPSVM). By using the Linear MPSVM Formulation in an it...
173
Voted
AMC
2010
15 years 7 months ago
2010
Elimination is a basic algebraic operation which geometrically corresponds to projections. This article describes using the numerical algebraic geometric concept of witness sets t...