155 search results - page 3 / 31 » Compositional Predicate Abstraction from Game Semantics |
126
click to vote
ENTCS
2007
15 years 3 months ago
2007
Abstract Machine Describing Event Structure Composition Claudia Faggian and Mauro Piccolo 1 ,2 ,3 Dipartimento di Matematica Pura e Applicata – PPS Universit´a di Padova – Par...
180
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Coecke, Sadrzadeh, and Clark [3] developed a compositional model of meaning for distributional semantics, in which each word in a sentence has a meaning vector and the distributio...
157
Voted
JLP
2008
15 years 3 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
139
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
129
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...