Search
Now showing items 11-20 of 441
Natural Language Based Inference Procedures Applied to Schubert's Steamroller
(1991-12-01)
We have previously argued that the syntactic structure of natural language can be exploited to construct powerful polynomial time inference procedures. This paper supports the earlier arguments by demonstrating that a ...
Grammar Rewriting
(1991-12-01)
We present a term rewriting procedure based on congruence closure that can be used with arbitrary equational theories. This procedure is motivated by the pragmatic need to prove equations in equational theories where ...
Correspondence and Affine Shape from Two Orthographic Views: Motion and Recognition
(1991-12-01)
The paper presents a simple model for recovering affine shape and correspondence from two orthographic views of a 3D object. It is shown that four corresponding points along two orthographic views, taken under similar ...
Lifting Transformations
(1991-12-01)
Lifting is a well known technique in resolution theorem proving, logic programming, and term rewriting. In this paper we formulate lifting as an efficiency-motivated program transformation applicable to a wide variety ...
Observations on Cognitive Judgments
(1991-12-01)
It is obvious to anyone familiar with the rules of the game of chess that a king on an empty board can reach every square. It is true, but not obvious, that a knight can reach every square. Why is the first fact obvious ...
The Supercomputer Toolkit: A General Framework for Special-purpose Computing
(1991-11-01)
The Toolkit is a family of hardware modules (processors, memory, interconnect, and input-output devices) and a collection of software modules (compilers, simulators, scientific libraries, and high-level front ends) from ...
Soft Objects: A Paradigm for Object Oriented Programming
(1990-03-01)
This paper introduces soft objects, a new paradigm for object oriented programming. This paradigm replaces the traditional notion of object classes with the specification of transforming procedures which transform ...
Understanding and Modeling the Behavior of a Harmonic Drive Gear Transmission
(1992-05-01)
In my research, I have performed an extensive experimental investigation of harmonic-drive properties such as stiffness, friction, and kinematic error. From my experimental results, I have found that these properties ...
Robust and Efficient 3D Recognition by Alignment
(1992-09-01)
Alignment is a prevalent approach for recognizing 3D objects in 2D images. A major problem with current implementations is how to robustly handle errors that propagate from uncertainties in the locations of image ...
A Parallelizing Compiler Based on Partial Evaluation
(1993-07-01)
We constructed a parallelizing compiler that utilizes partial evaluation to achieve efficient parallel object code from very high-level data independent source programs. On several important scientific applications, ...