In this paper we propose a Markov random field (MRF) based method for joint registration and segmentation of cardiac perfusion images, specifically the left ventricle (LV). MRFs ...
This paper proposes a new HDR imaging method in the gradient domain based on the fusion of two images with different exposure. We first formulate an energy function for the binar...
As shown by the recent turmoil in credit markets, much remains to be done for the proper risk management of credit derivatives. In particular, the static copula-based models commo...
Video inpainting is the process of repairing missing regions (holes) in videos. Most automatic techniques are computationally intensive and unable to repair large holes. To tackle...
Sen-Ching S. Cheung, Jian Zhao, M. Vijay Venkatesh
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...