Sciweavers

69 search results - page 2 / 14
» Numerical analysis of Mahalanobis metric in vector space
Sort
View
DAC
2008
ACM
14 years 5 months ago
Functional test selection based on unsupervised support vector analysis
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
Onur Guzey, Li-C. Wang, Jeremy R. Levitt, Harry Fo...
ICCV
2005
IEEE
14 years 6 months ago
Large Deformation Diffeomorphic Metric Mapping of Fiber Orientations
This paper proposes a method to match diffusion tensor magnetic resonance images (DT-MRI) through the large deformation diffeomorphic metric mapping of vector fields, focusing on ...
Yan Cao, Michael I. Miller, Raimond L. Winslow, La...
JMIV
2006
185views more  JMIV 2006»
13 years 4 months ago
Intrinsic Statistics on Riemannian Manifolds: Basic Tools for Geometric Measurements
In medical image analysis and high level computer vision, there is an intensive use of geometric features like orientations, lines, and geometric transformations ranging from simp...
Xavier Pennec
ICPR
2010
IEEE
13 years 2 months ago
Fundamental Geodesic Deformations in Spaces of Treelike Shapes
This paper presents a new geometric framework for analysis of planar treelike shapes for applications such as shape matching, recognition and morphology, using the geometry of the...
Aasa Feragen, François Lauze, Mads Nielsen
SAS
2010
Springer
172views Formal Methods» more  SAS 2010»
13 years 3 months ago
Deriving Numerical Abstract Domains via Principal Component Analysis
Numerical Abstract Domains via Principal Component Analysis Gianluca Amato, Maurizio Parton, and Francesca Scozzari Universit`a di Chieti-Pescara – Dipartimento di Scienze We pro...
Gianluca Amato, Maurizio Parton, Francesca Scozzar...