Multi-modal retrieval is emerging as a new search paradigm that enables seamless information retrieval from various types of media. For example, users can simply snap a movie poster to search relevant reviews and trailers. To solve the problem, a set of mapping functions are learned to project high-dimensional features extracted from data of different media types into a common lowdimensional sp...

Interactions among different modes or vehicle classes in urban road networks affect the network performance and complex ways. Thus, an answer to question of “how many cars are too for a city?” is not trivial. However, multi-modal macroscopic fundamental diagrams (MFD) offer novel opportunity this question. So far, no methodology exists estimate MFDs resulting from arbitrary interactions. In pap...

We propose an extended modal mu-calculus to provide an ‘assembly language’ for modal logics for real time, value-passing calculi, and other extended models of computation.

Vibration-based structural health monitoring (SHM) has become an attractive solution for the global monitoring and evaluation of damage in structures. Numerous damage detection schemes used in vibration-based SHM require knowledge of the modal properties of the structure under evaluation in its current state. The technique of operational modal analysis allows for these modal properties to be ob...

This paper summarizes the ChaLearn Looking at People 2014 challenge data and the results obtained by the participants. The competition was split into three independent tracks: human pose recovery from RGB data, action and interaction recognition from RGB data sequences, and multi-modal gesture recognition from RGB-Depth sequences. For all the tracks, the goal was to perform user-independent rec...

In this paper, we develop various aspects of the finite model theory of propositional modal logic. In particular, we show that certain results about the expressive power of modal logic over the class of all structures, due to van Benthem and his collaborators, remain true over the class of finite structures. We establish that a firstorder definable class of finite models is closed under bisimul...

A critical study of the process necessary to create structural control models is made. Exact closed-form solutions of beams and truss-beams continuous models open and closed loop dynamics are given, and used to evaluate the low frequency accuracy of hand prefined finite element models. For trusses condensed models and refined joint behavior are considered, using the equivalent continuum approac...

Some modal logics based on logics weaker than the classical logic have been studied by Fitch [4], Prior [18], Bull [1], [2], [3], Prawitz [17] etc. In this paper, we treat modal logics based on the intuitionistic prepositional logic, which we call intuitionistic modal logics (abbreviated as IML's). Our main concern is to compare properties of several IML's of S4or S5-type 03^ using some model t...