We present in this paper the application of mathematical morphology operators through a transformation of the Cartesian image into another geometric space, i.e. pol-log image. The ...
We present a satisfiability based multi-clock path analysis method. The method uses propositional satisfiability (SAT) in the detection of multi-clock paths. We show a method to re...
We study a number of natural language decipherment problems using unsupervised learning. These include letter substitution ciphers, character code conversion, phonetic deciphermen...
Kevin Knight, Anish Nair, Nishit Rathod, Kenji Yam...
In this paper, Lebesgue decomposition type theorems for non-additive measure are shown under the conditions of null-additivity, converse null-additivity, weak null-additivity and Ï...
We introduce the relative rank differential statistic which is a non-parametric approach to document and dialog analysis based on word frequency rank-statistics. We also present a...