- Full text PDF available (55)
This paper concerns relationships among focus of attention, choice of referring expression, and perceived coherence of utterances within a discourse segment. It presents a framework and initial theory of centering intended to model the local component of attentional state. The paper examines interactions between local coherence and choice of referring… (More)
for their valuable comments which helped us improve both the content and the presentation of our paper. We are also grateful to Carolyn Elken in helping us keep track of the various drafts of this paper and for providing valuable editorial help.
1. Overview Linguistic theories typically assign various linguistic phenomena to one of the categories, syntactic, semantic, or pragmatic, as if the phenomena in each category were relatively independent of those in the others. However, various phenomena in discourse do not seem to yield comfortably to any account that is strictly a syntactic or semantic or… (More)
The purpose of this communication is to exam ine one particular aspect of discourse structure, namely, a discourse construct called center of a sentence (utterance) in discourse and its relation to the larger issue of control of inference. We have described very briefly the notion of center(s) of a sentence in discourse and discussed how the centering… (More)
Integrity constraints play a fundamental role in database design. We review initial work on the expression of integrity constraints for semistructured data and XML.
For programs whose data variables range over Boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. In this article, we consider algorithmic verification of programs that use Boolean variables, and in addition, access a single read-only array whose length is potentially unbounded,… (More)
Neonatal mice resist the lethal effect of Waglerin-1. Because Waglerin-1 blocks the nicotinic acetylcholine receptor of mature end-plates, the appearance of lethality may result from the epsilon- for gamma-subunit substitution. In support of this hypothesis, adult knockout (KO) mice lacking the gene coding for the epsilon-subunit resist the lethal effect of… (More)
Non-front-fanged colubroid snakes (NFFC; formerly and artificially taxonomically assembled as "colubrids") comprise about 70% of extant snake species and include several taxa now known to cause lethal or life threatening envenoming in humans. Although the medical risks of bites by only a handful of species have been documented, a growing number of NFFC are… (More)