Sciweavers

2327 search results - page 422 / 466
» Consistency of functional learning methods based on derivati...
Sort
View
TIP
2010
136views more  TIP 2010»
14 years 9 months ago
Wavelet Steerability and the Higher-Order Riesz Transform
Abstract— Our main goal in this paper is to set the foundations of a general continuous-domain framework for designing steerable, reversible signal transformations (a.k.a. frames...
Michael Unser, Dimitri Van De Ville
ICASSP
2011
IEEE
14 years 3 months ago
Time-varying lung ventilation analysis of 4DCT using image registration
Imaging techniques for measuring lung ventilation are essential tools to study lung tissue response to radiation therapy. Most of the existing CT and image registration based vent...
Kai Ding, Kaifang Du, Kunlin Cao, Gary E. Christen...
ICASSP
2011
IEEE
14 years 3 months ago
Target tracking and localization with ambiguous phase measurements of sensor networks
When tracking a target using phase-only signal returns, range ambiguities are a major issue. In this work, a look-up table between phase measurement space and target location spac...
Yongqiang Cheng, Xuezhi Wang, Terry Caelli, Bill M...
ICASSP
2011
IEEE
14 years 3 months ago
An approximate Minimum MOSPA estimator
Optimizing over a variant of the Mean Optimal Subpattern Assignment (MOSPA) metric is equivalent to optimizing over the track accuracy statistic often used in target tracking benc...
David Frederic Crouse, Peter Willett, Marco Guerri...
CAV
2012
Springer
222views Hardware» more  CAV 2012»
13 years 1 months ago
Leveraging Interpolant Strength in Model Checking
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...