1143 search results - page 159 / 229 » Mental models of recursion |
109
Voted
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
We introduce a fibre tract segmentation algorithm based on the geometric coherence of fibre orientations as indicated by a streamline flow model. The inference of local flow approx...
101
click to vote
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
In this article we address the issue of denoising photon-limited image data by deriving new and efficient multivariate Bayesian estimators that approximate the conditional expecta...
101
Voted
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
Point clouds are sets of points in two or three dimensions. Most kernel methods for learning on sets of points have not yet dealt with the specific geometrical invariances and pra...
105
Voted
ISBI
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a method for recursive segmentation of the left ventricle (LV) across a temporal sequence of magnetic resonance (MR) images. The approach involves a technique for learn...
115
Voted
CADE
2007
Springer
16 years 28 days ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...