Sciweavers

1483 search results - page 275 / 297
» Geometric constraint satisfaction using optimization methods
Sort
View
ICIP
2002
IEEE
14 years 10 months ago
Edge-preserving image reconstruction for coherent imaging applications
We propose a method for edge-preserving regularized reconstruction in coherent imaging systems. In our framework, image formation from measured data is achieved through the minimi...
Alan S. Willsky, Müjdat Çetin, William...
GLOBECOM
2009
IEEE
13 years 12 months ago
Super-Gaussian Loading for Robust Beamforming
— It is well known that the performance of adaptive beamformers may degrade in the presence of steering errors. In this context, diagonal loading is one of the most popular metho...
Jing Gu, Patrick J. Wolfe
MMS
2008
13 years 8 months ago
Robust source-channel coding for real-time multimedia
Abstract Multimedia applications operating in today's Internet have to employ some form of error resilience to cope with losses. For interactive applications with strict delay...
György Dán, Viktória Fodor, Gun...
CVPR
2005
IEEE
14 years 10 months ago
Interactive Shape from Shading
Shape from shading (SfS) has always been difficult for real applications due to its intrinsic ill-posedness. In this paper, we propose an interactive SfS method which efficiently ...
Gang Zeng, Yasuyuki Matsushita, Long Quan, Heung-Y...
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
14 years 5 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...