2771 search results - page 375 / 555 » A General Computational Treatment of the Comparative |
173
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
211
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
Most current methods for multi-class object classification and localization work as independent 1-vs-rest classifiers. They decide whether and where an object is visible in an imag...
158
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
We define and solve the problem of "distribution classification", and, in general, "distribution mining". Given n distributions (i.e., clouds) of multi-dimensi...
163
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
This paper presents a stagewise least square (SLS) loss function for classification. It uses a least square form within each stage to approximate a bounded monotonic nonconvex los...
157
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Optical Burst Switching (OBS) has been proposed as a costeffective paradigm for supporting, with adequate flexibility, the increasingly high transmission capacity required by the ...