4502 search results - page 623 / 901 » Regular Model Checking |
152
click to vote
JMLR
2010
15 years 1 months ago
2010
Reliable estimation of the classification performance of learned predictive models is difficult, when working in the small sample setting. When dealing with biological data it is ...
180
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
- In this work we are analyzing scalability of the heuristic algorithm we used in the past [1-4] to discover knowledge from multi-valued symbolic attributes in fuzzy databases. The...
201
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
—We present an alternative analysis of weighted 1 minimization for sparse signals with a nonuniform sparsity model, and extend our results to nuclear norm minimization for matric...
256
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Most bioimaging modalities rely on indirect measurements of the quantity under investigation. The image is obtained as the result of an optimization problem involving a physical m...
203
click to vote
SDM
2011
SIAM
14 years 9 months ago
2011
SIAM
A nonparametric Bayesian approach to co-clustering ensembles is presented. Similar to clustering ensembles, coclustering ensembles combine various base co-clustering results to ob...