We present a method to prove the decidability of provability in several well-known inference systems. This method generalizes both cut-elimination and the construction of an automaton recognizing the provable propositions.

The problems of recognizing mentions of entities in texts and linking them to unique knowledge base identifiers have received considerable attention in recent years. In this paper we present a probabilistic system based on undirected graphical models that jointly addresses both the entity recognition and the linking task. Our framework considers the span of mentions of entities as well as the c...

Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre ∗ H(C), is regular. In this paper, we give an alternative proof of this result for second order automata. Our construction of automata for recognizing pre∗H(C) is explicit. The termination of saturation procedure used is obvious. It gives a better bound on size of the...

Today’s object recognition systems have become very good at learning and recognizing isolated objects or objects in images with little clutter. However, unsupervised learning and recognition in highly cluttered scenes or in scenes with multiple objects are still problematic. Faced with the same issue, the brain employs selective visual attention to select relevant parts of the image and to seri...

The recognition of repetitive movements character istic of walking people galloping horses or ying birds is a routine function of the human visual system It has been demonstrated that humans can recognize such activity solely on the basis of motion information We demonstrate a general computational method for recog nizing such movements in real image sequences using what is essentially template...

Although the problem is not only resolved by ED change management (but rather requires a system-wide solution recognizing the complex interdependencies of consumer expectations, human resources, information systems immaturity and inadequate community care systems), effective utilization of scarce resources is a crucial component of emergency management and can directly influence the ability to ...

The following paper will describe the systems we have created for the Knowledge Base Population (KBP) and Recognizing Textual Entailment (RTE) tracks of TAC. Sections 2 and 3 will describe a set of tools used to perform the entity-linking and slot-filling tasks of the KBP track respectively. Section 4 will give an overview of a complex tool for recognizing textual entailment. Each section descr...

Evidence from various systems suggests that thymus-derived lymphocytes can affect the quality of antibody responses by recognizing various portions of the immunoglobulin receptor of bone-marrow-derived thymus-independent lymphocytes. A model for this process is proposed involving two antigen-specific mature T helper cells, one of which also is specific for immunoglobulin determinants. These two...