8141 search results - page 73 / 1629 » Higher Order Generalization |
ITP
2010
14 years 11 months ago
2010
rder Abstract Syntax in Isabelle/HOL Douglas J. Howe Carleton University July 13, 2010 Douglas J. Howe (Carleton University) HOAS in Isabelle/HOL July 13, 2010 1 / 8
104
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...
134
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
Segmentation is a fundamental problem in medical image analysis. The use of prior knowledge is often considered to address the ill-posedness of the process. Such a process consists...
114
click to vote
NECO
2010
14 years 11 months ago
2010
To allow the hidden units of a restricted Boltzmann machine to model the transformation between two successive images, Memisevic and Hinton (2007) introduced three-way multiplicat...
108
Voted
SIAMIS
2010
14 years 11 months ago
2010
We introduce two fourth-order regularization methods that remove geometric noise without destroying significant geometric features. These methods leverage ideas from image denoisi...