Sciweavers

3190 search results - page 343 / 638
» cans 2011
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Sparse decomposition of transformation-invariant signals with continuous basis pursuit
Consider the decomposition of a signal into features that undergo transformations drawn from a continuous family. Current methods discretely sample the transformations and apply s...
Chaitanya Ekanadham, Daniel Tranchina, Eero P. Sim...
ICASSP
2011
IEEE
14 years 10 months ago
Sparse non-negative decomposition of speech power spectra for formant tracking
Many works on speech processing have dealt with auto-regressive (AR) models for spectral envelope and formant frequency estimation, mostly focusing on the estimation of the AR par...
Jean-Louis Durrieu, Jean-Philippe Thiran
ICASSP
2011
IEEE
14 years 10 months ago
Topic-sensitive interactive image object retrieval with noise-proof relevance feedback
One current direction to enhance the search accuracy in visual object retrieval is to reformulate the original query through (pseudo-)relevance feedback, which augments a query wi...
Jen-Hao Hsiao, Henry Chang
CAV
2011
Springer
202views Hardware» more  CAV 2011»
14 years 10 months ago
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Ale...
CIDR
2011
252views Algorithms» more  CIDR 2011»
14 years 10 months ago
Hyder - A Transactional Record Manager for Shared Flash
Hyder supports reads and writes on indexed records within classical multi-step transactions. It is designed to run on a cluster of servers that have shared access to a large pool ...
Philip A. Bernstein, Colin W. Reid, Sudipto Das