The developlnent of natural language processing systems is currently driven to a large extent by measures of knowledgebase size and coverage of individual phenomena relative to a corpus. While these measures have led to significant advances for knowledge-lean applications, they do not adequately motivate progress in computat ional semantics leading to the development of large-scale, general pur...

We. are going to describe the design and implementatior, of a connnuniealion system l.or large AI projects, capable of supporting various software components in a heterogeneous hardware and programming-language environment. The system is based on a roodification of the channel approach introduced by Hoare (1978). It is a threelayered approach with a de facto standard network layer (PVM), core r...

Biomedical video sequences are often blurry and characterized by low contrast and noticeable noise. This can be particularly detrimental for image analysis, as the features of interest may not be detected because of the degradations. In this work, we demonstrate the application of the recently proposed V-BM4D video filtering algorithm [1-2] to timelapse imaging of mCherry-EB3 in hippocampal neu...

We present various heu r i s t i c techniques fo r use in proving the correctness of computer programs. The techniques are designed to obta in automat ical ly the " induc t i ve asser t ions" attached to the loops of the program which previously required human "understanding" of the program's performance. We d i s t i ngu ish between two general approaches: one in which we obta in the induct iv...

We describe the Universal Spotter, a system for identifying in-text references to entities of an arbitrary, user-sl)ecitied type, such its people, organizations, equipment, products, materials, etc. Starting with some initial seed examples, and a training text eortms , I;he system generates rules that will find fllrther concepts of the stone type. The initial se, ed information is t)rovided by ...

[3] S. T. Chung and J. W. Grizzle, “Internally exponentially stable nonlinear discrete-time noninteracting control via static feedback,” Int. J. Control, vol. 55, pp. 1071–1092, 1992. [4] E. Delaleau and M. Fliess, “Algorithme de structure, filtrations et découplage,” Crit. Rev. Acad. Sci. Paris, ser. I, vol. 315, pp. 101–106, 1992. [5] E. Delaleau and M. Fliess, “An algebraic interpretation of...

We show how idioms can be parsed in lexiealized TAGs. We rely on extensive studies of frozen phrases pursued at L.A.D.L) that show that idioms are pervasive in natural language and obey, generally speaking, the same morphological and syntactical patterns as 'free' structures. By idiom we mean a structure in which some items are lexically frozen and have a semantics that is not compositional. We...

This paper describes an automat ic method for extracting systematic polysemy from a hierarchically organized semantic lexicon (WordNet). Systematic polysemy is a set of word senses that are related in systematic and predictable ways. Our method uses a modification of a tree generalization technique used in (Li and Abe, 1998), and generates a tree-cut, which is a list of clusters that parti t io...

We read with interest the study of Nolte et al. (6) evaluating a completely automated enteroviral real-time PCR assay (EVPCR) with cerebrospinal fluid (CSF). Among 434 patients, 113 (26%) had enteroviral meningitis with no bacterial coinfection. Six patients had bacterial meningitis with EV-PCR-negative CSF. In accordance with the work of Nigrovic et al. (5), who found no bacterial coinfection ...

The present paper is an in depth analysis of the set of conditioned invariant subspaces of a given observable pair (C,A). We do this analysis in two different ways, one based on polynomial models starting with a characterization obtained in [P.A. Fuhrmann, Linear Operators and Systems in Hilbert Space, 1981; IEEE Trans. Automat. Control AC-26 (1981) 284], the other being a state space approach....