Publications
-
An Iconic Transform For Sketch Completion and Shape Abstraction
This paper shows how a simple label propagation technique, in conjunction with some novel ideas about how labels can be applied to an image to express semantic knowledge, lead to…
-
Theoretical Foundations Of Linguistics and Automatic Text Processing
The interdisciplinary research required to design such systems have a common center, conceptually, in the development of new kinds of lexical information, since words are not only linguistics objects, they…
-
Handling Complex Queries In A Distributed Data Base
As part of the continuing development of the LADDER system, we have substantially expanded the capabilities of the data base access component that serves as the interface between the natural-language…
-
Problem Solving Tactics
This paper describes the basic strategies of automatic problem solving, and then focuses on a variety of tactics for improving their efficiency.
-
Computational Models Of Beliefs and The Semantics Of Belief-Sentences
We present a semantic interpretation for belief sentences and show how this interpretation overcomes some of the difficulties of alternative approaches, especially those based on possible-world semantics.
-
Utterance and Objective: Issues In Natural Language Communication
This paper evaluates the capabilities of natural language processing systems against requirements and identifies crucial areas for future research in language processing, common-sense reasoning, and their coordination.
-
Focusing and Description In Natural Language Dialogues
This paper describes focusing mechanisms based on domain structure clues which have been included in a computer system and, from this perspective, indicates future research problems entailed in modeling the…
-
Hierarchical Representation Of Three-Dimensional Objects Using Verbal Models
We present a formalism for the computer representation of three-dimensional shapes, that has as its goal to facilitate man-machine communication using verbal, graphic, and visual means. With this method, pieces…
-
Robotic Sensors in Programmable Automation
Characterized by flexibility and the ease of setup for new production tasks, programmable automation employs industrial robots. Today’s robots possess "muscles" only; there is a need to develop intelligent robots…
-
Map-Guided Interpretation Of Remotely-Sensed Imagery
Geometric correspondence between a sensed image and a symbolic reference map is established in an initial stage of processing by adjusting parameters of a sensor model so that image features…
-
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.