1143 search results - page 159 / 229 » Mental models of recursion |
MICCAI
2008
Springer
14 years 10 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...
ICIP
2009
IEEE
14 years 10 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...
ICML
2008
IEEE
14 years 9 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...
ISBI
2008
IEEE
14 years 9 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...
CADE
2007
Springer
14 years 9 months 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...