491 search results - page 64 / 99 » Linear Quantifier Elimination |
179
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in control theory, machine learning, and discrete geometry. This c...
147
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
152
Voted
JMLR
2006
15 years 4 months ago
2006
Receiver Operating Characteristic (ROC) curves are a standard way to display the performance of a set of binary classifiers for all feasible ratios of the costs associated with fa...
143
Voted
PAMI
2006
15 years 4 months ago
2006
A visual search is required when applying a recognition process on a scene containing multiple objects. In such cases, we would like to avoid an exhaustive sequential search. This...
108
click to vote
TWC
2008
15 years 4 months ago
2008
Previous results for correlated block-fading MIMO channels with covariance information indicate guaranteed capacity growth with additional transmit elements and that in rapidly fa...