s. 139 Grammatical expression of Quality, Lexical expression of Quality, Quantity, and Location Quantity, and Location in the clause in the clause

the main purpose of this article is to determine the nature and effects of reservation of title clauses in iranian law. to bring out the exact comprehension of its nature in iranian law, the study of the matter in other legal systems is required. although it is not always easy to pass upon the question of validity of these clauses in iranian law, by highlighting the security interest in such co...

Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one description to be possibly mapped in different ways onto another description, which poses serious computational problems. Hence, the need for a set of general criteria that are able to support the comparison between formulæ. Th...

dass ich die vorliegende Magisterarbeit " Classifying Clause-Embedding Verbs for Computational Semantics " selbständig und nur unter Zuhilfenahme der angegebenen Quellen und Literatur angefertigt habe.

Bi-text alignment is useful to many Natural Language Processing tasks such as machine translation, bilingual lexicography and word sense disambiguation. This paper presents a Chinese-Japanese alignment at the level of clause. After describing some characteristics in Chinese-Japanese bilingual texts, we first investigate some statistical properties of Chinese-Japanese bilingual corpus, including...

This contribution reports on three sentence processing experiments involving structurally ambiguous Jabberwocky strings. The items are complex NPs, in which a relative clause can be attached to either of two nominal heads (NP1-preposition-NP2-RC). The phonological lengths of the heads, as well as that of the relative clause, are manipulated. The results show modest effects on relative clause at...

The OpenMP Architecture Review Board has released version 2.0 of the OpenMP Fortran language specification in November 2000, and version 2.0 of the OpenMP C/C++ language specification in March 2002. This paper discusses the implementation of the OpenMP Fortran 2.0 WORKSHARE construct, NUM THREADS clause, COPYPRIVATE clause, and array REDUCTION clause in the Parallelnavi software package. We foc...

The famous archetypical NP-complete problemof Boolean satisfiability (SAT) and its PSPACEcomplete generalization of quantified Boolean satisfiability (QSAT) have become central declarative programming paradigms through which real-world instances of various computationally hard problems can be efficiently solved. This success has been achieved through several breakthroughs in practical implement...