Sciweavers

3972 search results - page 549 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
ROBOTICA
2006
132views more  ROBOTICA 2006»
15 years 7 months ago
Human arm kinematics for robot based rehabilitation
The paper considers a technique for computation of the inverse kinematic model of the human arm for robot based rehabilitation that uses measurements of the hand position and orie...
Matjaz Mihelj
TCAD
2008
181views more  TCAD 2008»
15 years 7 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
TASLP
2008
136views more  TASLP 2008»
15 years 7 months ago
Distortion Estimation in Compressed Music Using Only Audio Fingerprints
Abstract--An audio fingerprint is a compact yet very robust representation of the perceptually relevant parts of an audio signal. It can be used for content-based audio identificat...
Peter Jan O. Doets, Reginald L. Lagendijk
NIPS
2000
15 years 8 months ago
Automatic Choice of Dimensionality for PCA
A central issue in principal component analysis (PCA) is choosing the number of principal components to be retained. By interpreting PCA as density estimation, this paper shows ho...
Thomas P. Minka
AUTOMATICA
2008
107views more  AUTOMATICA 2008»
15 years 7 months ago
Kalman filters in non-uniformly sampled multirate systems: For FDI and beyond
This paper consists of two parts. The first part is the development of a datadriven Kalman filter for a non-uniformly sampled multirate (NUSM) system, including identification of ...
Weihua Li, Sirish L. Shah, Deyun Xiao