Publications
-
A (14C) Deoxyglucose Study of Somatosensory and Associated Cortical Areas in the Monkey
The strategies used by the macaca monkey brain in controlling the performance of a reaching movement to a visual target have been studied by the quantitative autoradiographic 14C-DG method.
-
A Deductive Approach To Program Synthesis
This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.
-
Prospects For Industrial Vision
This paper builds a case for needed additional levels of representation and outlines the design of a general-purpose computer-vision system capable of high performance in a wide variety of industrial…
-
Why Is Discourse Coherent?
In this paper, it is argued that coherence can be characterized in terms of a set of 'coherence relations’ between segments of a discourse. It is shown, from an abstract…
-
Machine Vision and Robotics: Industrial Requirements
The importance of human vision is a major motivation for the intense interest in and significant research effort devoted to machine vision.
-
Why Ask?
In this paper, we address the problem, 'What makes an answer appropriate?’ We do so by investigating indirect answers to questions in task-oriented dialogues.
-
Natural Language Access To A Melanoma Data Base
This paper describes ongoing research towards developing a system that will allow physicians personal access to patient medical data through natural language queries to support both patient management and clinical…
-
Coherence and Coreference
In this paper, formal definitions are given for several coherence relations, based on the operations of an inference system; that is, the relations between successive portions of a discourse are…
-
Engineering Design Viewed as an Activity in Artificial Intelligence
The process of problem solving has been studied in artificial intelligence research for the past few decades. This paper describes the engineering design process from several viewpoints, and then relates…
-
Investigating The Process Of Natural Language Communication
This research seeks to identify and computationally formalize the knowledge and processes needed for participation in natural language dialogs about ongoing tasks.
-
Focusing in Dialog
This paper examines focusing in dialog, discusses focusing mechanisms based on domain structure clues, and, from this perspective, indicates future research problems entailed in modeling the focusing process more generally.
-
Encoding Knowledge In Partitioned Networks
This paper discusses network notations for encoding a number of different kinds of knowledge, including taxonomic information; general statements involving quantification; information about processes and procedures; the delineation of local…