The explosive growth of multimedia data on the Internet has magnified challenge information retrieval. Multimedia usually emerges in different modalities, such as image, text, video, and audio. Unsupervised cross-modal hashing techniques that support searching among multi-modal have gained importance large-scale retrieval tasks because advantage low storage cost high efficiency. Current methods...

When modal vectors are estimated from measured frequency response function (FRF) data, some amount of contamination in terms of random and bias errors is always present. The sources of these errors may be the experimental data acquisition process (calibration inconsistencies, averaging limitations, leakage errors, etc.) or due to limitations of the modal parameter estimation methods (mismatch b...

We show that if we interpret modal diamond as the derived set operator of a topological space, then the modal logic of Stone spaces is K4 and the modal logic of weakly scattered Stone spaces is K4G. As a corollary, we obtain that K4 is also the modal logic of compact Hausdorff spaces and K4G is the modal logic of weakly scattered compact Hausdorff spaces. §

This note is a friendly amendment to Marti’s analysis of the failure of Føllesdal’s argument that modal distinctions collapse in Carnap’s logic S2. Føllesdal’s argument turns on the treatment of descriptions. Marti considers how modal descriptions, which Carnap banned, might be handled; she adopts an approach which blocks Føllesdal’s argument, but requires a separate treatment of non-modal desc...

These notes were written by Wang Yafeng following a course of three intensive lectures on classical themes in mathematical modal logic given by Johan van Benthem in the Berkeley-Stanford Logic Circle, San Francisco, May 2015. Some of this material was collected in the monograph van Benthem [13], [16], other parts come from later publications. We will provide some references to further relevant ...

A modal analysis procedure is used to model suspended compressors and their excitation forces. The modal method evaluates the dynamic spring forces, modal spring forces, and modal forcing function to determine the effects of a change in suspension configuration on transmitted spring forces. Valuable design insight is gained since the modal parameters explain the behavior of suspension systems d...

We reexamine the modal-calculus in the light of some classical theory of Boolean algebras and recent results on duality theory for a modal logic with xed points. We propose interpreting formulas into a eld of subsets of states instead of the full power set lattice used by Kozen. Under this interpretation we relate image compact modal frames with Scott continuity of the box modality, m-saturated...

This paper investigates audio-visual interaction, i.e. inter-modal influences, in linear-regressive model adaptation for multi-modal speech recognition. In the multi-modal adaptation, inter-modal information may contribute the performance of speech recognition. Thus the influence and advantage of intermodal elements should be examined. Experiments were conducted to evaluate several transformati...

The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical; this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior (notab...