In this paper we extend Inagaki Weighted Operators fusion rule (WO) [see 1, 2] in information fusion by doing redistribution of not only the conflicting mass, but also of masses o...
: This paper describes a color-based image retrieval technique that uses a new representation for the color content of an image. The new representation, called Spiral Bit-string Re...
Abstract—In this paper, we propose efficient routing algorithms for collective communication in a newly proposed, versatile network, called a recursive dual-net (RDN). The RDN c...
This paper presents a type theory with a form of equality reflection: provable equalities can be used to coerce the type of a term. Coercions and other annotations, including impl...
We propose in this paper a new method to compute indicators based on models transformations. We use the concept of modeled trace and trace-based system to design an indicator. We u...