Sciweavers

409 search results - page 74 / 82
» Super-Resolution with Adaptive Regularization
Sort
View
SIGPRO
2010
141views more  SIGPRO 2010»
13 years 5 months ago
Tetrolet shrinkage with anisotropic total variation minimization for image approximation
In this paper, an anisotropic total variation (ATV) minimization is combined with the new adaptive tetrolet transform for discontinuity-preserving image processing. In order to su...
Jens Krommweh, Jianwei Ma
ICCAD
2010
IEEE
158views Hardware» more  ICCAD 2010»
13 years 4 months ago
Novel binary linear programming for high performance clock mesh synthesis
Clock mesh is popular in high performance VLSI design because it is more robust against variations than clock tree at a cost of higher power consumption. In this paper, we propose ...
Minsik Cho, David Z. Pan, Ruchir Puri
ICIP
2010
IEEE
13 years 4 months ago
Plenoptic based super-resolution for omnidirectional image sequences
This paper addresses the reconstruction of high resolution omnidirectional images from a low resolution video acquired by an omnidirectional camera moving in a static scene. In or...
Luigi Bagnato, Yannick Boursier, Pascal Frossard, ...
TACAS
2010
Springer
212views Algorithms» more  TACAS 2010»
13 years 4 months ago
Assume-Guarantee Verification for Probabilistic Systems
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
Marta Z. Kwiatkowska, Gethin Norman, David Parker,...
ICDAR
2009
IEEE
13 years 4 months ago
A Unified Framework Based on the Level Set Approach for Segmentation of Unconstrained Double-Sided Document Images Suffering fro
A novel method for the segmentation of double-sided ancient document images suffering from bleed-through effect is presented. It takes advantage of the level set framework to prov...
Reza Farrahi Moghaddam, David Rivest-Hénaul...