qasr or hasr (restriction) is one of the techniques of semantics that can be used in different ways. most of former thinkers believed that despite differences that exist in how these methods convey meaning to readers or audience, they function similarly. this research is a descriptive-analytical study of methods of qasr and tries to elaborate on the fundamental differences among these methods. ...

We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an approximation of its semantics. The rules can also be seen as an abstract form of a type inference algorithm (presented in previous work), and as a stage in a formal soundness proof of the algorithm. The paper considers a substantial fragment of Xcerpt; the main ...

The state-of-the-art image retrieval approach is to incorporate image semantics with low-level features to enhance retrieval performance. Although many systems annotate images with descriptive keywords and retrieve images by keyword-based search, they have not explored the full potentials of semantics. This paper exploits the power of thesaurus-aided approaches to facilitate semantics-based acc...

This work studies the performance of different signal features regarding the qualitative meaning of Laban Movement Analysis semantics. Motion modeling is becoming a prominent scientific area, with research towards multiple applications. The theoretical representation of movements is a valuable tool when developing such models. One representation growing particular relevance in the community is ...

This paper discusses the proper taxonomy of the semantics-pragmatics divide. Debates about taxonomy are not always pointless. In interesting cases taxonomic proposals involve theoretical assumptions about the studied field, which might be judged correct or incorrect. Here I want to contrast an approach to the semantics-pragmatics dichotomy, motivated by a broadly Gricean perspective I take to b...

Non-monotonic logics are examined and found to be inadequate as descriptions of reason maintenance systems (sometimes called truth maintenance systems). A logic is proposed that directly addresses the problem of characterizing the mental states of a reasoning agent attempting to reason with respect to some object theory. The proposed logic, propositional dynamic logic of derivation (PDLD), is g...

The modern computational lexical semantics has reached a point in its development when it has become useful to compare the goals and methods of the various approaches to it. This article proposes several choices in terms of which these goals and methods can be discussed. It is argued that the central questions include the use of lexical rules for generating word senses; the role of syntax and f...

This paper discusses region-based representations useful to create connected operators. The filtering approach involves three steps: first, a region tree representation of the input image is constructed. Second, the simplification is obtained by pruning the tree and third, and output image is constructed from the pruned tree. The paper focuses in particular on the pruning strategies that can be...