The human face plays a central role in most forms of natural human interaction so we may expect that computational methods for analysis of facial information and graphical and robo...
This paper expands the role of the new field of computational topology by surveying methods for incorporating connectedness in shape modeling. Two geometric representations in par...
The effects of different image pre-processing methods for document image binarization are explored. They are compared on five different binarization methods on images with bleed t...
Elisa H. Barney Smith, Laurence Likforman-Sulem, J...
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Abstract. The rapidly emerging field of metagenomics seeks to examine the genomic content of communities of organisms to understand their roles and interactions in an ecosystem. I...
Gianluigi Folino, Fabio Gori, Mike S. M. Jetten, E...