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, ...
—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...
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...
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...
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...