Results 11 to 20 of about 16,854 (264)
Dynamic Semantics SLAM Based on Improved Mask R-CNN
IEEE Access, 2022 Simulation localization and mapping(SLAM) is a popular research problem in the field of driverless cars, but there are still some difficult problems to solve.
Xinguang Zhang +2 more
doaj +1 more source
Bishop Sentences and Donkey Cataphora: A Response to Barker and Shan
Semantics and Pragmatics, 2009 Some issues are raised concerning the treatment of donkey cataphora and bishop sentences in Barker & Shan 2008.
Paul David Elbourne
doaj +1 more source
The Relationship Between Separation Logic and Implicit Dynamic Frames [PDF]
Logical Methods in Computer Science, 2012 Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support.
Matthew J. Parkinson +1 more
doaj +1 more source
Donkey anaphora is in-scope binding
Semantics and Pragmatics, 2008 We propose that the antecedent of a donkey pronoun takes scope over and binds the donkey pronoun, just like any other quantificational antecedent would bind a pronoun.
Chris Barker, Chung-chieh Shan
doaj +1 more source
Incremental quantification and the dynamics of pair-list phenomena
Semantics and Pragmatics, 2015 Distributive universals are unique among natural language quantifiers in the following three ways: (i) matrix interrogatives that contain them accept pair-list answers; (ii) indefinites and disjunctions in their scope may assume arbitrary functional ...
Dylan Bumford
doaj +1 more source
Centering in Dynamic Semantics [PDF]
Proceedings of the 16th conference on Computational linguistics -, 1996 Centering theory posits a discourse center, a distinguished discourse entity that is the topic of a discourse. A simplified version of this theory is developed in a Dynamic Semantics framework. In the resulting system, the mechanism of center shift allows a simple, elegant analysis of a variety of phenomena involving sloppy identity in ellipsis and ...
openaire +3 more sources
On State Classes and Their Dynamic Semantics [PDF]
, 2008 We introduce state classes, a construct to program objects that can be safely concurrently accessed. State classes model the notion of object’s state (intended as some abstraction over the value of fields) that plays a key role in concurrent object-oriented programming (as the state of an object changes, so does its coordination behavior).
Ferruccio Damiani +3 more
openaire +4 more sources
Semantics and Pragmatics, 2010 How do ordinary indicative conditionals manage to convey conditional information, information about what might or must be if such-and-such is or turns out to be the case?
Anthony S Gillies
doaj +1 more source
Foundations, 2022 It is known that, from a modeling point of view, fractional dynamic equations are more suitable compared to integer derivative models. In fact, a fractional dynamic equation is referred to as an equation with memory.
Aghalaya S. Vatsala +2 more
doaj +1 more source