Many normal and regular modal logics have simple formalizations in terms of labelled tableaux (cf. [3], [4]). But these modal logics have direct characterisation in terms of Kripke frames, and labels are naturally modelled on this kind of semantics. It is an interesting question whether this well known method can be extended to some congruent and monotonic modal logics, which are not characteri...

virtual reality, developing techniques for synthesizing arbitrary views has become an important technical issue. Given an object’s structural model (such as a polygon or volume model), it’s relatively easy to synthesize arbitrary views. Generating a structural model of an object, however, isn’t necessarily easy. For this reason, research has been progressing on a technique called image-based mo...

In this paper, we present a new approach for object removal and video completion of indoor scenes. In indoor images, the frames are not affine related. The region near the object to be removed can have multiple planes with sharply different motions. Dense motion estimation may fail for such scenes due to missing pixels. We use feature tracking to find dominant motion between two frames. The geo...

This paper proposes an unconventional anomaly detection approach that provides digital instrumentation and control (I&C) systems in a nuclear power plant (NPP) with the capability to probabilistically discern between legitimate protocol frames and attack frames. The stochastic activity network (SAN) formalism is used to model the fusion of protocol activity in each digital I&C system and the op...

German particle verbs, like anblicken (to gaze at) combine a base verb (blicken) with a particle (an) to form a special kind of Multi Word Expression. Particle verbs may share the semantics of the base verb and the particle to a variable degree. However, while syntactic subcategorization frames tend to be good predictor for the semantics of verbs in general (verbs that are similar in meaning al...

In previous work (G. Bonanno, Rational choice and AGM belief revision, Artificial Intelligence, 2009) a semantics for AGM belief revision was proposed based on choice frames, borrowed from the rational choice literature. In this paper we discuss how to use choice frames to analyze extensive-form games. Given an extensive form with perfect recall, a choice frame can be used to represent a player...

Video rewrite is a new field of research aiming to utilize the photo-realism of real video input to synthesize new video output without having three dimensional (3D) information of the scene. It can be categorized under the emerging field of image-based rendering (IBR) or more specifically videobased rendering. The main advantage of video rewrite is the realism it offers because it directly use...