3994 search results - page 384 / 799 » A Linear Logical Framework |
173
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes an optimization framework for reconstructing nonnegative image intensities from linear projections contaminated with Poisson noise. Such Poisson inverse probl...
186
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...
161
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Classical linear wavelet representations of images have the drawback that they are not well-suited to represent edge information. To overcome this problem, nonlinear multiresoluti...
162
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents fully parallel domain decomposition (DD) techniques for efficient simulation of large-scale linear circuits such as power grids. DD techniques that use non-ov...
146
click to vote
AUTOMATICA
2008
15 years 7 months ago
2008
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...