4163 search results - page 383 / 833 » A comprehensive combination framework |
203
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...
170
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
144
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
We present a fast edge-preserving cascadic multilevel image restoration method for reducing blur and noise in contaminated images. The method also can be applied to segmentation. O...
160
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new blind deconvolution method for video sequence. It is derived following an inverse problem approach in a Bayesian framework. This method exploits the temporal cont...
184
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes a new approach to unify constraints on parameters with training data to perform parameter estimation in Bayesian networks of known structure. The method is ge...