Sciweavers

20126 search results - page 3375 / 4026
» Timed Transition Systems
Sort
View
DAC
2006
ACM
16 years 8 months ago
Scheduling-based test-case generation for verification of multimedia SoCs
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ron...
MICCAI
2006
Springer
16 years 8 months ago
Markerless Endoscopic Registration and Referencing
Abstract. Accurate patient registration and referencing is a key element in navigated surgery. Unfortunately all existing methods are either invasive or very time consuming. In thi...
Christian Wengert, Philippe C. Cattin, John M. Duf...
MICCAI
2007
Springer
16 years 8 months ago
False Positive Reduction in Mammographic Mass Detection Using Local Binary Patterns
In this paper we propose a new approach for false positive reduction in the field of mammographic mass detection. The goal is to distinguish between the true recognized masses and ...
Arnau Oliver, Joan Martí, Jordi Freixenet, ...
MICCAI
2002
Springer
16 years 8 months ago
Interactive Intra-operative 3D Ultrasound Reconstruction and Visualization
The most attractive feature of 2D B-mode ultrasound for intra-operative use is that it is both a real time and a highly interactive modality. Most 3D freehand reconstruction method...
David G. Gobbi, Terry M. Peters
MICCAI
2002
Springer
16 years 8 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
« Prev « First page 3375 / 4026 Last » Next »