Sciweavers

4235 search results - page 199 / 847
» Process Spaces
Sort
View
126
Voted
ESOP
2008
Springer
15 years 5 months ago
Inferring Channel Buffer Bounds Via Linear Programming
We present a static analysis for inferring the maximum amount of buffer space used by a program consisting of concurrently running processes communicating via buffered channels. We...
Tachio Terauchi, Adam Megacz
147
Voted
ICASSP
2007
IEEE
15 years 10 months ago
Breaking the Limitation of Manifold Analysis for Super-Resolution of Facial Images
A novel method for robust super-resolution offace images is proposed in this paper. Face super-resolution is a particular interest in video surveillance where face images have typ...
Sung Won Park, Marios Savvides
IWDW
2009
Springer
15 years 8 months ago
Fast Embedding Technique for Dirty Paper Trellis Watermarking
This paper deals with the improvement of the Dirty Paper Trellis Code (DPTC) watermarking algorithm. This watermarking algorithm is known to be one of the best among the high rate ...
Marc Chaumont
112
Voted
JMIV
2010
87views more  JMIV 2010»
15 years 2 months ago
Infinite Photography: New Mathematical Model for High-Resolution Images
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...
Tapio Helin, Matti Lassas, Samuli Siltanen
126
Voted
ICIP
2004
IEEE
16 years 5 months ago
Wavelet-based color filter array demosaicking
In this paper, a wavelet-based technique for the demosaicking of Color Filter Arrays (CFA) is proposed. Conventional demosaicking techniques perform interpolation of the missing p...
Jef Driesen, Paul Scheunders