نتایج جستجو برای: proposition

تعداد نتایج: 13184  

2004
Olga Babko-Malaya Martha Palmer Nianwen Xue Aravind K. Joshi Seth Kulick

The PropBank project is creating a corpus of text annotated with information about basic semantic propositions. PropBank I (Kingsbury & Palmer, 2002) added a layer of predicateargument information, or semantic roles, to the syntactic structures of the English Penn Treebank. This paper presents an overview of the second phase of PropBank Annotation, PropBank II, which is being applied to English...

Journal: :Pacific Journal of Mathematics 1969

Journal: :Bulletin de la Société mathématique de France 1903

Journal: :Journal of Digital Imaging 2019

Journal: :California Journal of Politics and Policy 2010

ژورنال: کیمیای هنر 2019

This article tries to elucidate Kosuth’s intention in the presentation on conceptual art. It focuses on an explanation about his opposition on aesthetics and formalism with regard to the Wittgensteinian origin of his measurements. For evaluation of what this artist said and what he performed in his artistic  works, we concentrate on the artist’s article entitled “art after philosophy”. We also ...

ژورنال: پژوهشنامه اخلاق 2012

In Islamic theological system there can be found a view supporting innate abilities directing him toward Divinity. This view has known human nature with an innate tendency to knowledge, specially to knowledge on God. This kind of knowledge affect human ethical states. This paper has argued the view as a standard for ethical action and proposition.

2016
Steve Awodey

There are, at first blush, two kinds of construction involved: constructions of proofs of some proposition and constructions of objects of some type. But I will argue that, from the point of view of foundations of mathematics, there is no difference between the two notions. A proposition may be regarded as a type of object, namely, the type of its proofs. Conversely, a type Amay be regarded as ...

2016
Yimai Fang Haoyue Zhu Ewa Muszynska Alexander Kuhnle Simone Teufel

Abstractive summarisation is not yet common amongst today’s deployed and research systems. Most existing systems either extract sentences or compress individual sentences. In this paper, we present a summariser that works by a different paradigm. It is a further development of an existing summariser that has an incremental, proposition-based content selection process but lacks a natural languag...

1998
B. Lisser

In this paper we describe an experiment in which MANIFOLD is used to coordinate the interprocess communication in a parallelized proposition solver. MANIFOLD is very well suited for applications involving dynamic process creation and dynamically changing (ir)regular communication patterns among sets of independent concurrent cooperating processes. The idea in this case study is simple. The prop...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید