This paper describes an approach of how to support collaborative modelling tasks. The presented system, Cool Modes, implements the approach using “plug-in” reference frames encapsulating the semantics of the used models. Details on the extensibility of the system and the definition and interpretation of these reference frames and models in the framework are shown and the co-operation support us...

In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripkestyle semantics (Kripke frames and models) for normal substructural logics. Then we show a correspondence between axioms and properties on frames, and...

$K$-frames which are generalization of frames on Hilbert spaces‎, ‎were introduced‎ ‎to study atomic systems with respect to a bounded linear operator‎. ‎In this paper‎, ‎$*$-$K$-frames on Hilbert $C^*$-modules‎, ‎as a generalization of $K$-frames‎, ‎are introduced and some of their properties are obtained‎. ‎Then some relations‎ ‎between $*$-$K$-frames and $*$-atomic systems with respect to a...

In the process of designing multiagent systems, it is often the case that some kind of specification of communication rules (in the form of protocols, ACL semantics, etc.) is available. and The question naturally arises how appropriate agents can be designed to can operate on such a specification. Moreover, if these multiagent systems are viewed as open systems, the problem is complicated even ...

We propose a method for making temporal super-resolution video from a single video by exploiting the self-similarity that exists in the spatio-temporal domain of videos. Temporal super-resolution is inherently ill-posed problem because there are an infinite number of high temporal resolution frames that can produce the same low temporal resolution frame. The key idea in this work to solve this ...

Advanced surveillance systems for behavior recognition in outdoor traffic scenes depend strongly on the particular configuration of the scenario. Scene-independent trajectory analysis techniques statistically infer semantics in locations where motion occurs, and such inferences are typically limited to abnormality. Thus, it is interesting to design contributions that automatically categorize mo...

A spoken language generation system has been developed that learns to describe objects in computer-generated visual scenes. The system is trained by a ‘show-and-tell" procedure in which visual scenes are paired with natural language descriptions. Learning algorithms acquire probabilistic structures which encode the visual semantics of phrase structure, word classes, and individual words. Using ...

Many researchers in the past literatures have proven that watermarking is the remarkable technique for ownership proof and copyright protection. Especially in video, it takes ample time to embed watermark & also for the extraction due to redundancy of watermark embedding. Solution to this problem is to embed the watermark in any one frame, which may be decided at random, but due to frame droppi...

the problem of attributes and semantics of divine features and its relation with god’s real theism is one of the fundamental issues in theology and very often has been a sphere for representing of different believes of islamic thinkers. among them, gh?sz? sa?ed from qom, one of the greatest shiite thinkers at the time of safavi dynasty, has had a special idea about existential and semantics of ...