The two main directions pursued in the present paper are the following. The rst direction was (perhaps) started by Pigozzi in 1969. In Mak 91] and Mak 79] Maksimova proved that a normal modal logic (with a single u-nary modality) has the Craig interpolation property ii the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal m...

The aim of this paper is to introduce a new formalism for multi-agent systems that captures (true) concurrency and independence. We begin describing a complete and decidable propositional multi-modal logic. The language, similar to Propositional Dynamic Logic in many aspects, di ers from usual modal logic: modal operators are non-atomic (they are built out of basic actions) and capture concurre...

We consider the 2-Way Multi Modal Shortest Path Problem (2WMMSPP). Its goal is to find two multi modal paths with total minimal cost, an outgoing path and a return path. The main difficulty lies in the fact that if a private car or bicycle is used during the outgoing path, it has to be picked up during the return path. The shortest return path is typically not equal to the shortest outgoing pat...

High-dimensional non-rigid registration of multi-modal data requires similarity measures with two important properties: multi-modality and locality. Unfortunately all commonly used multi-modal similarity measures are inherently global and cannot operate on small image regions. In this paper we propose a new class of multi-modal similarity measures, which are constructed from information of the ...

A methodology is introduced for the identification of a multi-modal real-valued random variable from a collection of samples. The random variable is seen as a finite mixture of uni-modal random variables. A functional representation of the random variable is used, which can be interpreted as a mixture of polynomial chaos expansions. After a suitable separation of samples into sets of uni-modal ...

In this paper, we describe a biological motivated image representation in terms of local multi–modal primitives. These primitives are functional abstractions of hypercolumns in V1 [13]. The efficient and generic coding of visual information in terms of local symbolic descriptiones allows for a wide range of applications. For example, they have been used to investigate the multi–modal character ...

The paper shows how Combinatory Categorial Grammar (CCG) can be adapted to take advantage of the extra resourcesensitivity provided by the Categorial Type Logic framework. The resulting reformulation, Multi-Modal CCG, supports lexically specified control over the applicability of combinatory rules, permitting a universal rule component and shedding the need for language-specific restrictions on...

This paper describes the integration of face and fingerprint data to improve the performance of a person identity verification system. In the conetxt of multi-modal person authentication, a set of experts give their opinion as a scalar number, called score, about the identity of an individual. A fusion module receiving as input the scores has to take a binary decision: accept or reject the clai...

In this paper we described the architecture and key issues of the service enabling layer of a multi-modal system Ozone which is oriented for new technologies and services for emerging nomadic societies. The main objective of the Ozone system is to offer a generic framework to enable consumer-oriented Ambient-Intelligence applications. As a large multi-modal system, Ozone consists of many functi...

We examine the computation of optimal paths, which consist of using public transportation, walking and taking a car. A challenge in itself is to determine concise and diverse sets of paths. We consider metropolises like New York, where a fast computation of the paths is difficult. We exemplify that multiple optimality criteria are necessary to obtain diverse sets of paths. This extends the set ...