5404 search results - page 509 / 1081 » Global Computing for Bioinformatics |
245
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
243
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
Naive Bayes Nearest Neighbor (NBNN) has recently been proposed as a powerful, non-parametric approach for object classification, that manages to achieve remarkably good results t...
195
click to vote
EMMCVPR
2011
Springer
14 years 7 months ago
2011
Springer
Variational relaxations can be used to compute approximate minimizers of optimal partitioning and multiclass labeling problems on continuous domains. While the resulting relaxed co...
266
click to vote
PAMI
2012
13 years 9 months ago
2012
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
277
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
The automatic extraction and labeling of the rib centerlines is a useful yet challenging task in many clinical applications. In this paper, we propose a new approach integrating r...