Sciweavers

539 search results - page 74 / 108
» Linear complexity of transformed sequences
Sort
View
ICIP
2002
IEEE
15 years 11 months ago
Wavelet denoising by recursive cycle spinning
Coupling the periodic time-invariance of the wavelet transform with the view of thresholding as a projection yields a simple, recursive, wavelet-based technique for denoising sign...
Alyson K. Fletcher, Vivek K. Goyal, Kannan Ramchan...
177
Voted
POPL
2009
ACM
15 years 10 months ago
Types and higher-order recursion schemes for verification of higher-order programs
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
Naoki Kobayashi
CRV
2006
IEEE
155views Robotics» more  CRV 2006»
15 years 3 months ago
Simultaneous Tracking and Action Recognition using the PCA-HOG Descriptor
This paper presents a template-based algorithm to track and recognize athlete’s actions in an integrated system using only visual information. Conventional template-based action...
Wei-Lwun Lu, James J. Little
DAC
2004
ACM
15 years 3 months ago
Area-efficient instruction set synthesis for reconfigurable system-on-chip designs
Silicon compilers are often used in conjunction with Field Programmable Gate Arrays (FPGAs) to deliver flexibility, fast prototyping, and accelerated time-to-market. Many of these...
Philip Brisk, Adam Kaplan, Majid Sarrafzadeh
96
Voted
AUSAI
2004
Springer
15 years 3 months ago
Enhanced Importance Sampling: Unscented Auxiliary Particle Filtering for Visual Tracking
Abstract. The particle filter has attracted considerable attention in visual tracking due to its relaxation of the linear and Gaussian restrictions in the state space model. It is...
Chunhua Shen, Anton van den Hengel, Anthony R. Dic...