11455 search results - page 237 / 2291 » The Rayset and Its Applications |
206
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
200
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We consider the problem of estimating the shape and radiance of a scene from a calibrated set of images under the assumption that the scene is Lambertian and its radiance...
175
click to vote
ICIP
1997
IEEE
16 years 8 months ago
1997
IEEE
A novel method unifying viewer and model centered approaches for representing structurally complex 3-D objects like human faces is presented. The uni ed 3D frequency-domain repres...
141
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
This article describes a process to include in a volumetric model various anatomical and mechanical information provided by different sources. Three stages are described, namely a ...
206
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
This paper introduces a novel solver, namely cross entropy (CE), into the MRF theory for medical image segmentation. The solver, which is based on the theory of rare event simulati...