Results 31 to 40 of about 86,056 (174)
, 2016 Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core +2 more sources
Deriving real-time action systems with multiple time bands using algebraic reasoning [PDF]
, 2014 The verify-while-develop paradigm allows one to incrementally develop programs from their specifications using a series of calculations against the remaining proof obligations.
Derrick, J, Dongol, B, Hayes, IJ
core +1 more source
Logical Concurrency Control from Sequential Proofs [PDF]
, 2010 We are interested in identifying and enforcing the isolation requirements of a concurrent program, i.e., concurrency control that ensures that the program meets its specification.
Deshmukh, Jyotirmoy +3 more
core +4 more sources
Oilseeds and fats, crops and lipids, 2020 Safflower (Carthamus tinctorius L.) is of potential interest to agriculture due to mainly variability of fatty acid composition of seeds oil. The purpose of this study was to evaluate various exotic genotypes of safflower for agronomic traits, components
Yassein Ahmed A.M. +3 more
doaj +1 more source
Reasoning about goal-directed real-time teleo-reactive programs [PDF]
, 2013 The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions.
A. Burns +9 more
core +1 more source
Danish Vestigial Case and the Acquisition of Vocabulary in Distributed Morphology
Biolinguistics, 2009 As Halle & Marantz (2008: 71) acknowledge, “we have no real idea about how a child assigns features to Vocabulary Items” in Distributed Morphology (DM).
Jeffrey K. Parrott
doaj +1 more source
Revista de Lingüística y Lenguas Aplicadas, 2014 This study discusses how seven of Levin’s (1993) entity-specific change-of-state verbs (i.e. bloom, blossom, flower, germinate, sprout, swell, and blister) are subsumed into the intransitive resultative construction by highlighting and making use of the ...
Andreea Rosca
doaj +1 more source
Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative
, 2013 This paper focuses on compact deterministic self-stabilizing solutions for the leader election problem. When the protocol is required to be \emph{silent} (i.e., when communication content remains fixed from some point in time during any execution), there
Blin, Lélia, Tixeuil, Sébastien
core +3 more sources
Remote Sensing, 2018 The mean shift algorithm has been shown to perform well in optical image segmentation. However, the conventional mean shift algorithm performs poorly if it is directly used with Synthetic Aperture Radar (SAR) images due to the large dynamic range and ...
Fengkai Lang +3 more
doaj +1 more source
The predicate nominal analysis of english there-sentences
Bucharest Working Papers in Linguistics, 2010 In this article, I argue against the predicate nominal analysis of English there-sentences (especially Williams 1994, 2006 and Hazout 2004, 2008). The present analysis has several advantages, mainly because it takes into account the similarities of there-
Jutta M. Hartmann
doaj