Sciweavers

1187 search results - page 163 / 238
» Graph-Based Procedural Abstraction
Sort
View
MICCAI
2007
Springer
15 years 10 months ago
Image Guidance of Intracardiac Ultrasound with Fusion of Pre-operative Images
Abstract. This paper presents a method for registering 3D intracardiac echo (ICE) to pre-operative images. A magnetic tracking sensor is integrated on the ICE catheter tip to provi...
Yiyong Sun, Samuel Kadoury, Yong Li, Matthias John...
MICCAI
2002
Springer
15 years 10 months ago
Stochastic Finite Element Framework for Cardiac Kinematics Function and Material Property Analysis
Abstract. A stochastic finite element method (SFEM) based framework is proposed for the simultaneous estimation of cardiac kinematics functions and material model parameters. While...
Pengcheng Shi, Huafeng Liu
IPMI
2009
Springer
15 years 10 months ago
Multimodal Functional Imaging Using fMRI-Informed Regional EEG/MEG Source Estimation
Abstract. We propose a novel method, fMRI-Informed Regional Estimation (FIRE), which utilizes information from fMRI in E/MEG source reconstruction. FIRE takes advantage of the spat...
Aapo Nummenmaa, Matti Hämäläinen, P...
SIGSOFT
2006
ACM
15 years 10 months ago
Lightweight extraction of syntactic specifications
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
Mana Taghdiri, Robert Seater, Daniel Jackson
ICLP
2009
Springer
15 years 10 months ago
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
Henning Christiansen, Ole Torp Lassen