finite normalized tight frames are interesting because they provide decompositionsin applications and some physical interpretations. in this article,we give a recursive method for constructing them.

We look at non-classical negations and their corresponding adjustment connectives from a modal viewpoint, over complete distributive lattices, and apply a very general mechanism in order to offer adequate analytic proof systems to logics that are based on them. Defining non-classical negations within usual modal semantics automatically allows one to treat equivalent formulas as synonymous, and ...

In 2005 the author introduced networks which allow attacks on attacks of any level. So if a → b reads a attacks b, then this attack can itself be attacked by another node c. This attack itself can attack another node d. This situation can be iterated to any level with attacks and nodes attacking other attacks and other nodes. In this paper we provide semantics (of extensions) to such networks. ...

Subcategorization frames acquisition of a phrase can be described as a mechanism to extract different types of relevant arguments that are associated with that phrase in a sentence. This paper presents the acquisition of different subcategory frames for a specific Bengali verb that has been identified from POS tagged and chunked data prepared from raw Bengali news corpus. Syntax plays the main ...

In this paper we present a complete quantifier-free axiomatization of several logics on region-based theory of space based on contact relation and connectedness predicates. We prove completeness theorems for the logics in question with respect to three different semantics: algebraic – with respect to several important classes of contact algebras, topological – based on the contact algebras over...

Designing 3D scenes is currently a creative task that requires significant expertise and effort in using complex 3D design interfaces. This effortful design process starts in stark contrast to the easiness with which people can use language to describe real and imaginary environments. We present SCENESEER: an interactive text to 3D scene generation system that allows a user to design 3D scenes ...

This paper will look at Sahlqvist’s theorem in a new way. We introduce and investigate a “skewed” type of semantics for modal logics over their canonical frames. We will use this semantics, to describe every subset of a canonical frame, we will show that the semantics respects all Sahlqvist formulae, and we then conclude that the Sahlqvist logics are canonical. This will be accomplished without...

In this paper, we construct a truth conditional semantics for generic sentences, which treats arbitrarily deep nestings of generic sentences. The resulting notion of logical entailment captures intuitively valid argument forms involving generics. A dynamic semantics is built on top of the truth conditional one, and the resulting inference notion captures nonmonotonic argument patterns familiar ...

This paper analyzes the automatic classification of scenes that are the basis of the ideation and the designing of the sculptural production of an artist. The main purpose is to evaluate the performance of the Bag-of-Features methods, in the challenging task of categorizing scenes when scenes differ in semantics rather than the objects they contain. We have employed a kernel-based recognition m...

This paper presents a semi-automatic method for identifying terms that evoke semantic frames (Fillmore, 1982). The method is tested as a means of identifying lexical units that can be added to existing frames or to new, related frames, using a large corpus on the environment. It is hypothesized that a method based on distributional semantics, which exploits the assumption that words that appear...