Crack identification is a very important issue in mechanical systems, because it is a damage that if develops may cause catastrophic failure. In the first part of this research, modal analysis of a multi-cracked variable cross-section beam is done using finite element method. Then, the obtained results are validated usingthe results of experimental modal analysis tests. In the next part, a nove...

The ability to represent knowledge about space and its position therein is crucial for a mobile robot. To this end, topological and semantic descriptions are gaining popularity for augmenting purely metric space representations. In this paper we present a multi-modal place classification system that allows a mobile robot to identify places and recognize semantic categories in an indoor environm...

Comparing to graphical user interfaces, speech-only interfaces face several problems: robustness, making clear what functionality is available, and making clear how the functionality may be accessed. We explore a potential solution for these problems by presenting a visual representation of the domain of discourse and of the state of the dialogue. We describe an experiment in which uni-modal an...

We consider multi-modal logics interpreted over edge-labelled graphs with a modality 〈#〉, where 〈#〉φ means ‘φ is accessible by an edge with some label’. In a logic with finitely many edge labels, 〈#〉 is definable, but if the set of labels is infinite, it is an independent modality. We axiomatise multi-modal K, deterministic multi-modal K, and PDL with converse and a single nominal, extended wit...

This paper establishes undecidability of satisfiability for multi-modal logic equipped with the hybrid binder ↓ , with respect to frame classes over which the same language with only one modality is decidable. This is in contrast to the usual behaviour of many modal and hybrid logics, whose uni-modal and multi-modal versions do not differ in terms of decidability and, quite often, complexity. T...

We present a comparative analysis of multi-modal user inputs with speech and pen gestures, together with their semantically equivalent uni-modal (speech only) counterparts. The multimodal interactions are derived from a corpus collected with a Pocket PC emulator in the context of navigation around Beijing. We devise a cross-modality integration methodology that interprets a multi-modal input an...

While the incipient internet was largely text-based, the modern digital world is becoming increasingly multi-modal. Here, we examine multi-modal classification where one modality is discrete, e.g. text, and the other is continuous, e.g. visual representations transferred from a convolutional neural network. In particular, we focus on scenarios where we have to be able to classify large quantiti...

In the field of virtual reality, there is much attention to the notion of multi-modal environments. These environments use various senses of the human body to achieve an overall immersion in the environment leading to an increased sense of presence. In addition, there is much work in collaborative architectures allowing users to interact with each other and the world itself. This tutorial intro...

This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction a...

In this paper, we report on the design and implementation of a multi-modal user interface of the virtual world database system (VWDB). The VWDB is currently under development at Ochanomizii University with the aim of realizing a new generation database system for cyberspace applications. The system will be constructed by integrating a virtual reality system and an object-oriented database syste...