Sciweavers

5863 search results - page 825 / 1173
» On Model-Checking of P Systems
Sort
View
MICCAI
2007
Springer
16 years 7 months ago
Robotic Assistant for Transperineal Prostate Interventions in 3T Closed MRI
Abstract. Numerous studies have demonstrated the efficacy of imageguided needle-based therapy and biopsy in the management of prostate cancer. The accuracy of traditional prostate ...
Gregory S. Fischer, Simon P. DiMaio, Iulian Iordac...
MICCAI
2002
Springer
16 years 7 months ago
Needle Insertion Modelling for the Interactive Simulation of Percutaneous Procedures
Abstract. A novel interactive virtual needle insertion simulation is presented. The insertion model simulates three-degree-of-freedom needle motion, physically-based needle forces,...
Simon P. DiMaio, S. E. Salcudean
MICCAI
2004
Springer
16 years 7 months ago
Parallel Optimization Approaches for Medical Image Registration
Optimization of a similarity metric is an essential component in most medical image registration approaches based on image intensities. The increasing availability of parallel comp...
Mark P. Wachowiak, Terry M. Peters
197
Voted
ICML
2008
IEEE
16 years 7 months ago
Efficiently learning linear-linear exponential family predictive representations of state
Exponential Family PSR (EFPSR) models capture stochastic dynamical systems by representing state as the parameters of an exponential family distribution over a shortterm window of...
David Wingate, Satinder P. Singh
ISBI
2008
IEEE
16 years 7 months ago
Tomographic image reconstruction from limited-view projections with Wiener filtered focuss algorithm
In tomographic image reconstruction from limited-view projections the underlying inverse problem is ill-posed with the rank-deficient system matrix. The minimal-norm least squares...
Rafal Zdunek, Zhaoshui He, Andrzej Cichocki