Compositionality in Transparent Intensional Logic Pavel Materna Institute of Philosophy, Academy of Sciences of Czech Republic Prague materna@lorien.site.cas.cz
With a few syllables it can express an incalculable number of thoughts, so that ... between red apple (red on the outside) and pink grapefruit (pink on the inside) ...
Current work (McCarthy) 'prototypical selectional preference models' acquired ... Is the argument prototypical for this predicate and argument relationship? E.g. ...
Detecting a Continuum of Compositionality in Phrasal Verbs Diana McCarthy & Bill Keller & John Carroll University of Sussex This research was supported by:
Measuring the relative compositionality of Verb-Noun (V-N) ... Show that measuring the compositionality of MWEs helps in tasks like machine translation. ...
Embodiment & Compositionality Two fundamental, but unreconciled, aspects of human language: embodiment and compositionality Embodiment the realization that ...
'The ability to produce/understand some sentences is intrinsically connected to ... From Blutner, Hendriks, de Hoop, & Schwartz (to appear): When compositionality ...
Compositionality properties for probabilistic I/O automata (Lynch, Cheung, Segala, Vaandrager) ... Sounds appealing, but needs a lot of work... Theoretical: ...
CS 395T Formal Model for Secure Key Exchange Main Idea: Compositionality Protocols don t run in a vacuum Security protocols are typically used as building blocks in ...
Statistical NLP: Lecture 7 Collocations (Ch 5) Introduction Collocations are characterized by limited compositionality. Large overlap between the concepts of ...
Compositional Specification-Based Fault-Tolerance. Anish Arora and Murat Demirbas ... Compositionality deals with first two, Specifications are exploited for last two ...
One piano piece each: same or different? Communicate by drawing: ... Proto-Compositionality: distinct parts of the drawing refer to distinct parts of the music ...
Ph.D. thesis discussion Synchronization strategies for global computing models Ivan Lanese Computer Science Department University of Pisa (moved to Bologna)
`The ability to produce/understand some sentences is intrinsically connected to ... Systematicity: there are predictable patterns among the sentences we understand. ...
SOS rules are very suitable for defining semantics. of dynamic components ... Used to define atoms and operators. Transition system semantics (many choices possible) ...
Semantics and some syntax, math, and computational linguistics too LING 001 - October 16, 2006 Joshua Tauberer Semantics Why does a sentence mean what it means?
Data-flow network Definition. A collection of functional nodes ... The bits of information that are communicated over the queues are commonly called tokens ...
Linguistic Essentials * * Parts of Speech and Morphology Parts of Speech correspond to syntactic or grammatical categories such as noun, verb, adjectives and ...
The Timeline formalism. A visual formalism for expressing temporal constraints. Eric Bodden ... Developed by Smith, Holzmann, Etessami (Bell Labs) in 2001 ...
E. Zucca. 9/23/09. 24. Separate compilation: motivation. Why do we want these properties? ... Languages' by D. Anacona, S. Drossopoulou, F. Damiani, E. Zucca ...
What flows through an object is sequential control. Object-oriented: Things happen ... Delay-free cycles in discrete-event models; Deadlock in dataflow models. ...
Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis J. Mitchell, A. Ramanathan, A. Scedrov, V. Teague P. Lincoln, P. Mateus, M. Mitchell
Synchronization strategies for global computing models Ivan Lanese Computer Science Department University of Bologna Roadmap Global computing Synchronized Hyperedge ...
Computer Science Department. University of Pisa (moved to Bologna) Synchronization strategies ... Determines which productions can be applied concurrently ...
... of an object, say a 'square', an adjective of colour, say 'red', and a present ... and their composition in syntactic constructions involving nouns and adjectives. ...
Allow to have synchronization strategies as first-class citizens ... Simple ones: Milner, Hoare, broadcast ... connections with broadcast and wired connections ...
We generalize them to SAMs (Synchronization Algebras with Mobility) ... Fusion Calculus generalizes and simplifies it. More symmetric. Shared-state update ...
Barwise and Perry, 'The Slingshot' This argument is attributed to Frege by Alonzo Church. ... 'The Slingshot' Argument. Let R and S be two true sentences. ...
COMP791A: Statistical Language Processing Collocations Chap. 5 A collocation is an expression of 2 or more words that correspond to a conventional way of saying ...
E. Zucca. 9/5/09. 24. Separate compilation: motivation. Why do we want these properties? ... Languages' by D. Anacona, S. Drossopoulou, F. Damiani, E. Zucca ...
Seed generation: for each sentence pair, one or more seed rules are ... Simple sentences with DO, INDO, and some other expressions, e.g. 'The man saw the woman. ...
Has a rich ontology of types ... Represent word meanings ... (e.g. how often it co-occurs with another specific word). Semantic similarity defined as distance ...
Post-Midterm Practice 1 Draw trees for these sentences. Yesterday Emma bought a book. Yesterday Emma bought a book about cooking. Yesterday Emma bought a book in a ...