Sciweavers

7121 search results - page 162 / 1425
» Modeling Signs Using Functional Data Analysis
Sort
View
MICCAI
2010
Springer
15 years 4 days ago
Cardiac Motion Estimation Using a ProActive Deformable Model: Evaluation and Sensitivity Analysis
To regularize cardiac motion recovery from medical images, electromechanical models are increasingly popular for providing a priori physiological motion information. Although these...
Ken C. L. Wong, Florence Billet, Tommaso Mansi, Ra...
MICCAI
2006
Springer
16 years 2 months ago
Anatomically Informed Convolution Kernels for the Projection of fMRI Data on the Cortical Surface
Abstract. We present here a method that aims at producing representations of functional brain data on the cortical surface from functional MRI volumes. Such representations are req...
Grégory Operto, Jean-Luc Anton, Olivier Cou...
CAV
1998
Springer
138views Hardware» more  CAV 1998»
15 years 6 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
ICIP
2003
IEEE
15 years 7 months ago
Inter-camera color calibration by correlation model function
We present a novel solution to the inter-camera color calibration problem, which is very important for multi-camera systems. We propose a distance metric and a model function to e...
Fatih Murat Porikli
ICSEA
2007
IEEE
15 years 8 months ago
A Novel Framework for Test Domain Reduction using Extended Finite State Machine
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
Nutchakorn Ngamsaowaros, Peraphon Sophatsathit