Results 21 to 30 of about 511,372 (153)
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 +2 more sources
Action semantics in retrospect [PDF]
, 2009 This paper is a themed account of the action semantics project, which Peter Mosses has led since the 1980s. It explains his motivations for developing action semantics, the inspirations behind its design, and the foundations of action semantics based on ...
Watt, D.A., David A. Watt
core +1 more source
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
Operational semantics for SPARQL Update [PDF]
, 2011 Concurrent fine grained updates are essential for using RDF stores in dynamic modern Web applications, where users increasingly contribute content as often as they read content. SPARQL Update is a language proposed by the W3C for fine grained updates for
HORNE, Ross James +6 more
core +1 more source
Order Effects in Dynamic Semantics [PDF]
Topics in Cognitive Science, 2013 AbstractIn their target article, Wang and Busemeyer (2013) discuss question order effects in terms of incompatible projectors on a Hilbert space. In a similar vein, Blutner recently presented an orthoalgebraic query language essentially relying on dynamic update semantics.
openaire +3 more sources
A formal dynamic semantics of Java: an essential ingredient of Java security
Journal of Telecommunications and Information Technology, 2002 Security is becoming a major issue in our highly networked and computerized era. Malicious code detection is an essential step towards securing the execution of applications in a highly inter-connected context.
Mourad Debbabi +2 more
doaj +1 more source
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We begin by reviewing a technique to approximate the dynamics of stochastic programs --written in a stochastic process algebra-- by a hybrid system, suitable to capture a mixed discrete/continuous evolution.
Alberto Policriti, Luca Bortolussi
doaj +1 more source