Sciweavers

279 search results - page 27 / 56
» Type Reconstruction for SCI
Sort
View
ICIP
2006
IEEE
14 years 9 months ago
Maximum Likelihood Methods for Time-Resolved Imaging Through Turbid Media
Recently technological advances now enable time-gated acquisitions of photons at very fast rates. This can allow one to separate scattered and unscattered photons in transillumina...
Brian Eriksson, Robert Nowak
ICIP
2001
IEEE
14 years 9 months ago
Image denoising using adaptive subband decomposition
In this paper, we present a new image denoising method based on adaptive subband decomposition (or adaptive wavelet transform) in which the filter coefficients are updated accordi...
Ömer Nezih Gerek, A. Enis Çetin, Ismai...
ICPR
2004
IEEE
14 years 8 months ago
Spectral Sound Gap Filling
We present a new method for automatically filling in gaps of textural sounds. Our approach is to transform the signal to the time-frequency space, fill in the gap, and apply the i...
Alon Fishbach, Iddo Drori, Yehezkel Yeshurun
IFL
2003
Springer
159views Formal Methods» more  IFL 2003»
14 years 25 days ago
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
Pedro B. Vasconcelos, Kevin Hammond
WSC
2007
13 years 10 months ago
Analyzing air combat simulation results with dynamic Bayesian networks
In this paper, air combat simulation data is reconstructed into a dynamic Bayesian network. It gives a compact probabilistic model that describes the progress of air combat and al...
Jirka Poropudas, Kai Virtanen