Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
This paper presents a novel local image descriptor that is robust to general image deformations. A limitation with traditional image descriptors is that they use a single support ...
1 We address the problem of vector-valued image regularization with variational methods and PDE's. From the study of existing formalisms, we propose a unifying framework base...
In this paper, we propose a new nonlinear dimensionality reduction algorithm by adopting regularized least-square criterion on local areas of the data distribution. We first propo...
Abstract. We present a novel approach to nonrigid registration of volumetric multimodal medical data. We propose a new regularized template matching scheme, where arbitrary similar...