971 search results - page 79 / 195 » Approximate Satisfiability and Equivalence |
88
Voted
ORL
2008
15 years 18 days ago
2008
In this paper we propose a power penalty approach to linear complementarity problems (LCP) in a finite dimensional space. This approach is based on approximating the LCP by a nonl...
105
Voted
ENTCS
2008
15 years 6 days ago
2008
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
102
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
As an alternative to standard PCA, matrix-based image dimensionality reduction methods have recently been proposed and have gained attention due to reported computational efficie...
81
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— Area Under the ROC Curve (AUC) is often used to evaluate ranking performance in binary classification problems. Several researchers have approached AUC optimization by approxi...
104
click to vote
COMPGEOM
2004
ACM
15 years 6 months ago
2004
ACM
We consider the exact and approximate computational complexity of the multivariate LMS linear regression estimator. The LMS estimator is among the most widely used robust linear s...