Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
Abstract. We present a branch-and-bound (bb) algorithm for the multiple sequence alignment problem (MSA), one of the most important problems in computational biology. The upper bou...
Abstract. The Mumford-Shah functional minimization, and related algorithms for image segmentation, involve a tradeoff between a twodimensional image structure and one-dimensional ...
Vladimir Kluzner, Gershon Wolansky, Yehoshua Y. Ze...
For trunk packing problems only few approximation schemes are known, mostly designed for the European standard DIN 70020 [6] with equally sized boxes [8, 9, 11, 12]. In this paper ...
This paper addresses the problem of face recognition in the presence of deformation due to expressions. Facial motion is considered as an isometric mapping between surfaces, which...
Iordanis Mpiperis, Sotiris Malassiotis, Michael G....