Results 11 to 20 of about 223,294 (289)
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
Research into Livonian syntax: the results of previous studies and the tasks ahead
Eesti ja Soome-ugri Keeleteaduse Ajakiri, 2016 The objective of this article is to present the main findings of research into Livonian syntax. As is typical of the Finnic languages other than Estonian and Finnish, in the past, syntax-related issues have received little attention.
Miina Norvik
doaj +1 more source
Games of Partial Information and Predicates of Personal Taste [PDF]
, 2016 A predicate of personal taste occurring in a sentence in which the perspectival information is not linguistically articulated by an experiencer phrase may have two different readings.
Hîncu, Mihai
core +1 more source
Syntax Determinants ad sensum and ad formam in Sentences with a Serial Subject
Respectus Philologicus, 2022 The syntax of the serial subject in contemporary Polish poses many problems, especially in the normative context. Many publications emphasize that a verb predicate should be agreed upon based on real-meaning syntax – regardless of the features of the ...
Piotr Zbróg
doaj +1 more source
Plato on Perception According to Parmenides’ System [PDF]
حکمت و فلسفه, 2008 For a long time, Plato's thought has been affected by the interpretations of Aristotelianism or Neo-Platonism. However, some remarks which have been recently made regard the core of Plato's own thought in his dialogues. This becomes critical when we find
ebrahim musavi
doaj +1 more source
The Endless Story of “Compound Verbs”: An Introduction to Conceptology and Terminology of Complex Verbs in Persian [PDF]
نشریه پژوهشهای زبانشناسی, 2021 Much of the literature about Persian ‘compound verbs’ has been concerned with their ‘true’ instances. About four centuries after identification of this construction, however, there is yet little agreement on any single definition or conception of it ...
Mojtaba Monshizadeh +2 more
doaj +1 more source
Quantum communication complexity of symmetric predicates [PDF]
, 2002 We completely (that is, up to a logarithmic factor) characterize the bounded-error quantum communication complexity of every predicate $f(x,y)$ depending only on $|x\cap y|$ ($x,y\subseteq [n]$). Namely, for a predicate $D$ on $\{0,1,...,n\}$ let $\ell_0(
Razborov, Alexander
core +3 more sources
Forward-secure hierarchical predicate encryption [PDF]
, 2012 Secrecy of decryption keys is an important pre-requisite for security of any encryption scheme and compromised private keys must be immediately replaced. \emph{Forward Security (FS)}, introduced to Public Key Encryption (PKE) by Canetti, Halevi, and Katz
Gonzalez Nieto, Juan +2 more
core +2 more sources
Formanty kategorialne – ich miejsce w (semantycznej i formalnej) strukturze języka
Slavia Meridionalis, 2018 Category formants – their place in (semantic and formal) language structure The author argues that the so-called category some of the grammaticalized segments of the corresponding semantic fields that are especially important for successful linguistic
Zuzanna Topolińska
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