Search
Now showing items 1-10 of 78
Qualitative Depth and Shape from Stereo, in Agreement with Psychophysical Evidendence
(1987-12-01)
Obtaining exact depth from binocular disparities is hard if camera calibration is needed. We will show that qualitative depth information can be obtained from stereo disparities with almost no computations and with ...
UNITRAN: An Interlingual Machine Translation System
(1987-12-01)
This report describes the UNITRAN (UNIversal TRANslator) system, an implementation of a principle-based approach to natural language translation. The system is "interlingual", i.e., the model is based on universal ...
Software Structuring Principles for VLSI CAD
(1987-12-01)
A frustrating aspect of the frequent changes to large VLSI CAD systems is that so little of the old available programs can be reused. It takes too much time and effort to find the reusable pieces and recast them for ...
The Programmer's Apprentice Project: A Research Overview
(1987-11-01)
The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial ...
Inspection Methods in Programming: Cliches and Plans
(1987-12-01)
Inspection methods are a kind of engineering problem solving based on the recognition and use of standard forms or cliches. Examples are given of program analysis, program synthesis and program validation by inspection. ...
Non-Rigid Motion and Regge Calculus
(1987-11-01)
We study the problem of recovering the structure from motion of figures which are allowed to perform a controlled non-rigid motion. We use Regge Calculus to approximate a general surface by a net of triangles. The ...
Expressing Mathematical Subroutines Constructively
(1987-11-01)
The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious ...
Task-Level Robot Learning: Ball Throwing
(1987-12-01)
We are investigating how to program robots so that they learn tasks from practice. One method, task-level learning, provides advantages over simply perfecting models of the robot's lower level systems. Task-level ...
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition
(1987-05-01)
There are many situations in which a very detailed low-level description encodes, through a hierarchical organization, a recognizable higher-order pattern. The macro-molecular structural conformations of proteins exhibit ...
Probabilistic Solution of Ill-Posed Problems in Computational Vision
(1987-03-01)
We formulate several problems in early vision as inverse problems. Among the solution methods we review standard regularization theory, discuss its limitations, and present new stochastic (in particular, Bayesian) ...