Various ways for decision making with imprecise probabilities—admissibility, maximal expected utility, maximality, E-admissibility, Γ-maximax, Γ-maximin, all of which are well...
This paper presents a method that measures the similarity between compound nouns in different languages to locate translation equivalents from corpora. The method uses information...
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
This paper presents a new interest point detector for color images. It is based on a non linear filtering of the image which preserves edges, and on the use of a color point detec...