Search
Now showing items 91-100 of 4210
A Control Algorithm for Chaotic Physical Systems
(1991-10-01)
Control algorithms which exploit the unique properties of chaos can vastly improve the design and performance of many practical and useful systems. The program Perfect Moment is built around such an algorithm. Given ...
Intellectual Property and Software: The Assumptions are Broken
(1991-11-01)
In March 1991 the World Intellectual Property Organization held an international symposium attended primarily by lawyers, to discuss the questions that artificial intelligence poses for intellectual property law (i.e., ...
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 ...
A Multiprocessor Architecture Using Modular Arithmetic for Very High Precision Computation
(1989-04-01)
We outline a multiprocessor architecture that uses modular arithmetic to implement numerical computation with 900 bits of intermediate precision. A proposed prototype, to be implemented with off-the-shelf parts, will ...
Lexical Conceptual Structure and Generation in Machine Translation
(1989-06-01)
This report introduces an implemented scheme for generating target- language sentences using a compositional representation of meaning called lexical conceptual structure. Lexical conceptual structure facilitates two crucial ...