Search
Now showing items 21-30 of 76
Interaction of Different Modules in Depth Perception: Stereo and Shading
(1987-05-01)
A method has been developed to measure the perceived depth of computer generated images of simple solid objects. Computer graphic techniques allow for independent control of different depth queues (stereo, shading, ...
Functional Abstraction From Structure in VLSI Simulation Models
(1987-05-01)
High-level functional (or behavioral) simulation models are difficult, time-consuming, and expensive to develop. We report on a method for automatically generating the program code for a high-level functional simulation ...
Using Program Transformation to Improve Program Translation
(1987-05-01)
Direct, construct by construct translation from one high level language to another often produces convoluted, unnatural, and unreadable results, particularly when the source and target languages support different ...
Issues in Model Based Troubleshooting
(1987-03-01)
To determine why something has stopped working, it's helpful to know how it was supposed to work in the first place. This simple fact underlies recent work on a number of systems that do diagnosis from knowledge about ...
Image Chunking: Defining Spatial Building Blocks for Scene Analysis
(1987-08-01)
Rapid judgments about the properties and spatial relations of objects are the crux of visually guided interaction with the world. Vision begins, however, with essentially pointwise representations of the scene, such ...
Planning and Teaching Compliant Motion Strategies
(1987-01-01)
This thesis presents a new high level robot programming system. The programming system can be used to construct strategies consisting of compliant motions, in which a moving robot slides along obstacles in its ...
Automated Program Recognition
(1987-02-01)
The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, ...
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference
(1987-08-01)
TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME ...
Error Detection and Recovery for Robot Motion Planning with Uncertainty
(1987-07-01)
Robots must plan and execute tasks in the presence of uncertainty. Uncertainty arises from sensing errors, control errors, and uncertainty in the geometry of the environment. The last, which is called model error, has ...
Obviously Synchronizable Series Expressions: Part I: User's Manual for the OSS Macro Package
(1987-10-01)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are much easier to ...