In this paper we give a compositional (or inductive) construction of monitoring automata for LTL formulas. Our construction is similar in spirit to the compositional construction of Kesten and Pnueli [5]. We introduce the notion of hierarchical Büchi automata and phrase our constructions in the framework of these automata. We give detailed constructions for all the principal LTL operators inclu...

This paper raises a neglected issue in the study of ellipsis resolution. The existence of ellipsis under certain constructions is often disguised due to the structure that assigns the nominative marking to what is typically the object. This kind of ellipsis deserves attention in view of the fact that its referent is the agent of the sentence and that these constructions are observed in diverse ...

Existing treebanks of Mandarin Chinese such as the Sinica Treebank, the Harbin Institute of Technology Treebank, and the Penn Chinese Treebank, parse Chinese serial verb constructions incorrectly or inconsistently in terms of headedness, i.e. which verb to be assigned with the label of syntactic and/or semantic “head”. Aspectual markers in serial verb constructions can help determine the head o...

Chen, D., CC. Lindner and D.R. Stinson, Further results on large sets of disjoint group-divisible designs, Discrete Mathematics 110 (1992) 35-42. This paper is a continuation of a recent paper by Chen and Stinson, where some recursive constructions for large sets of group-divisible design with block size 3 arc presented. In this paper, we give two new recursive constructions. In particular, we ...

ii Introduction A construction can be defined as a form-meaning pairing in which the components cannot entirely explain the meaning of the whole. Constructional phenomena range from morphemes to argument structure, and include obvious examples like collocations (" hermetically sealed "), (idiomatic) expressions with fixed constituents (" kick the bucket "), expressions with (semi-)optional cons...