Results 11 to 20 of about 7,623 (245)
Predicate Abstraction with Minimum Predicates [PDF]
, 2003 Predicate abstraction is a popular abstraction technique employed in formal software verification. A crucial requirement to make predicate abstraction effective is to use as few predicates as possible, since the abstraction process is in the worst case exponential (in both time and memory requirements) in the number of predicates involved.
Chaki, Sagar +3 more
openaire +1 more source
Types of Predication in Aristotle (Posterior Analytics I 22)
Revista de Filosofia Antiga, 2012 Predication is a complex entity in Aristotelian thought. The aim of the present essay is to account for this complexity, making explicit the diverse forms it assumes.
António Pedro Mesquita
doaj +1 more source
La prédication : approche de la théorie des opérations prédicatives et énonciatives
Corela, 2017 Predication is defined here as an enunciative operation structuring utterances (§ 1), along with enunciative modalities. The issue of illocutionary status is addressed here in the framework of plurimodality (§ 2).
Jean-Marie Merle
doaj +1 more source
Comparative analysis of software optimization methods in context of branch predication on GPUs
Российский технологический журнал, 2021 General Purpose computing for Graphical Processing Units (GPGPU) technology is a powerful tool for offloading parallel data processing tasks to Graphical Processing Units (GPUs).
I. Yu. Sesin, R. G. Bolbakov
doaj +1 more source
Indirect object and benefactive predications in Chadic: A typological sketch
Studies in African Linguistics, 2013 The aim of the present study is to propose, for the first time, a typology of the forms and functions related to the indirect object and benefactive predications in Chadic languages.
Zygmunt Frajzyngier
doaj +3 more sources
Estudios de Lingüística, 2002 The concept of predication has its philosophical roots in Plato and Aristotle. The first section reviews the modern development since Peirce’s relational logic and describes traditional pitfalls in the treatment of predication.
Wolfgang Wildgen
doaj +1 more source
The Study of Being in Plato and Aristotle
Peitho, 2023 Usage of the Greek verb ‘to be’ is generally divided into three broad categories — the predicative use, the existential and the veridical—and these usages often inform the way we understand Being in ancient philosophy.
Aidan R. Nathan
doaj +1 more source
Психолінгвістика, 2019 The article deals with the analysis of psycholinguistic characteristics of explication of secondary predication, which are considered as dominant determinants of constructing a peculiar picture of the world of the reader.
Nataliya Mykhalchuk, Ernest Ivashkevych
doaj +1 more source
DAIMI Report Series, 1992 We review the concept of logical relations and how they interact with structural induction, furthermore we give examples of their use, and of particular interest is the combination with the PER-idea (partial equivalence relations). This is then generalized to Kripke logical relations; the major application is to show that in combination with the PER ...
Flemming Nielson, Hanne Riis Nielson
openaire +2 more sources
Attributive modification in South American indigenous languages
Linguistics, 2022 The article deals with attributive modification in South American languages. It focuses on descriptive terms that denote properties. First of all, it is observed that attributive modification with property terms is possible in most, but not all South ...
Krasnoukhova Olga
doaj +1 more source