The classification and registration of incomplete multi-modal medical images, such as multi-sequence MRI with missing sequences, can sometimes be improved by replacing the missing modalities with synthetic data. This may seem counter-intuitive: synthetic data is derived from data that is already available, so it does not add new information. Why can it still improve performance? In this paper w...

With the aim of investigating how humans understand each other through language and gestures, this paper focuses on how people understand incomplete sentences. We trained a system based on interrupted but resumed sentences, in order to find plausible completions for incomplete sentences. Our promising results are based on multi-modal features.

the ambient vibration measurement is a kind of output data-only dynamic testing where the traffics and winds are used as agents responsible for natural or environmental excitation. therefore an experimental modal analysis procedure for ambient vibration testing needs to base itself on output-only data. the modal analysis involving output-only measurements present a challenge that requires the u...

Recommender systems have been widely used in e-commerce applications. They are a subclass of information filtering system, used to either predict whether a user will prefer an item (prediction problem) or identify a set of k items that will be user-interest (Top-k recommendation problem). Demanding sufficient ratings to make robust predictions and suggesting qualified recommendations are two si...

An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its ne...

We present a rst-order modal-calculus which uses parameterised maximal x-points to describe safety and liveness properties of processes. Then we give a local model checking proof system for deciding if a process satisses such a formula. The processes we consider are those deenable in regular value-passing CCS with parameterised recursive deenitions. Certain rules in the proof system carry side ...

We present an autoepistemic approach for rea soning about actions in the presence of incom plete information and sensing Speci cally we introduce a logical formalism that combines a very expressive logic of programs the modal mu calculus with a minimal knowledge modal ity We show that reasoning in such a formal ism can be done by integrating model checking for modal mu calculus and propositiona...

It is well known that damaged structural members may considerably alter the behaviour of the structures. Careful observation of these changes has often been viewed as a means to identify and assess the location and severity of damages in structures. Among the responses of a structure, natural frequencies and mode shapes are both relatively easy to obtain and independent from external excitation...