Sciweavers

686 search results - page 68 / 138
» Bayesian Analysis of Linear Combiners
Sort
View
MICCAI
2003
Springer
14 years 10 months ago
Morphometric Analysis of Brain Structures for Improved Discrimination
Abstract. We perform discriminative analysis of brain structures using morphometric information. Spherical harmonics technique and point distribution model are used for shape descr...
Li Shen, James Ford, Fillia Makedon, Yuhang Wang, ...
BIBE
2007
IEEE
132views Bioinformatics» more  BIBE 2007»
14 years 3 months ago
Morphometric Analysis of Hippocampal Shape in Mild Cognitive Impairment: An Imaging Genetics Study
—A computational framework is presented for surface based morphometry to localize shape changes between groups of 3D objects. It employs the spherical harmonic (SPHARM) method fo...
Li Shen, Andrew J. Saykin, Moo K. Chung, Heng Huan...
ESOP
2007
Springer
14 years 3 months ago
Static Analysis by Policy Iteration on Relational Domains
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah...
ISMIR
2004
Springer
117views Music» more  ISMIR 2004»
14 years 2 months ago
Instrument identification in solo and ensemble music using Independent Subspace Analysis
We investigate the use of Independent Subspace Analysis (ISA) for instrument identification in musical recordings. We represent short-term log-power spectra of possibly polyphoni...
Emmanuel Vincent, Xavier Rodet
EMSOFT
2008
Springer
13 years 11 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...