Sciweavers

4930 search results - page 716 / 986
» Learning minimal abstractions
Sort
View
MICCAI
2002
Springer
16 years 7 months ago
A Stem Cell Harvesting Manipulator with Flexible Drilling Unit for Bone Marrow Transplantation
Abstract. We present the development of an innovative device (Stem Cell Harvesting Manipulator) to get a donor's hematopoietic stem cells for bone marrow transplantation with ...
Kota Ohashi, Nobuhiko Hata, Tomoko Matsumura, Naok...
IPMI
2003
Springer
16 years 7 months ago
Bayesian Multimodality Non-rigid Image Registration via Conditional Density Estimation
Abstract. We present a Bayesian multimodality non-rigid image registration method. Since the likelihood is unknown in the general multimodality setting, we use a density estimator ...
Jie Zhang, Anand Rangarajan
IPMI
2005
Springer
16 years 7 months ago
Inverse Consistent Mapping in 3D Deformable Image Registration: Its Construction and Statistical Properties
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
Alex D. Leow, Sung-Cheng Huang, Alex Geng, James T...
ICLP
2009
Springer
16 years 7 months ago
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
ICIAP
2009
ACM
16 years 7 months ago
Nonlocal Similarity Image Filtering
Abstract. We exploit the recurrence of structures at different locations, orientations and scales in an image to perform denoising. While previous methods based on "nonlocal f...
Yifei Lou, Paolo Favaro, Stefano Soatto, Andrea L....