780 search results - page 85 / 156 » Correctness of Component-Based Adaptation |
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We propose a new scheme to estimate image bias field through introducing two sparsity constraints. One is that the bias-free image has concise representation with image gradients o...
ACSC
2009
IEEE
14 years 4 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
— Reliable transmission is a challenging task over wireless links because wireless channels are susceptible to noise and interference. To address this problem various error contr...
ICMCS
2008
IEEE
14 years 3 months ago
2008
IEEE
Hand jitters result in unintentional fluctuation of image sequences taken by hand-held video cameras. Stabilization of the foreground object of interest in pictures is essential f...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...