Sciweavers

1997 search results - page 219 / 400
» On the convergence of Hill's method
Sort
View
CADE
2007
Springer
16 years 1 months ago
Dependency Pairs for Rewriting with Non-free Constructors
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
Stephan Falke, Deepak Kapur
ICASSP
2009
IEEE
15 years 8 months ago
Shrinkage estimation of high dimensional covariance matrices
We address covariance estimation under mean-squared loss in the Gaussian setting. Specifically, we consider shrinkage methods which are suitable for high dimensional problems wit...
Yilun Chen, Ami Wiesel, Alfred O. Hero
CRV
2008
IEEE
205views Robotics» more  CRV 2008»
15 years 8 months ago
Accurate Boundary Localization using Dynamic Programming on Snakes
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
Akshaya Kumar Mishra, Paul W. Fieguth, David A. Cl...
ICDM
2008
IEEE
115views Data Mining» more  ICDM 2008»
15 years 8 months ago
Toward Faster Nonnegative Matrix Factorization: A New Algorithm and Comparisons
Nonnegative Matrix Factorization (NMF) is a dimension reduction method that has been widely used for various tasks including text mining, pattern analysis, clustering, and cancer ...
Jingu Kim, Haesun Park
IV
2007
IEEE
149views Visualization» more  IV 2007»
15 years 7 months ago
Information Visualization of Multi-dimensional Cellular Automata using GPU Programming
We propose a method for generating all possible rules of multidimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical proce...
Stéphane Gobron, Daniel Mestre