Sciweavers

3328 search results - page 426 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ICFP
2010
ACM
15 years 7 months ago
Lolliproc: to concurrency from classical linear logic via curry-howard and control
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
Karl Mazurak, Steve Zdancewic
CVPR
2008
IEEE
15 years 6 months ago
Intensity statistics-based HSI diffusion for color photo denoising
This paper presents a new image denoising model for real color photo noise removal. Our model is implemented in the hue, saturation and intensity (HSI) space. The hue and saturati...
Lei He, Chunming Li, Chenyang Xu
AI
2008
Springer
15 years 6 months ago
On the notion of concept I
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
Michael Freund
AMC
2010
143views more  AMC 2010»
15 years 6 months ago
Fixed-point iterations in determining a Tikhonov regularization parameter in Kirsch's factorization method
Kirsch's factorization method is a fast inversion technique for visualizing the profile of a scatterer from measurements of the far-field pattern. The mathematical basis of t...
Koung Hee Leem, George Pelekanos, Fermín S....
AUTOMATICA
2010
96views more  AUTOMATICA 2010»
15 years 6 months ago
On resampling and uncertainty estimation in Linear System Identification
Linear System Identification yields a nominal model parameter, which minimizes a specific criterion based on the single inputoutput data set. Here we investigate the utility of va...
Simone Garatti, Robert R. Bitmead