Search
Now showing items 241-250 of 625
Switching Between Discrete and Continuous Process Models to Predict Molecular Genetic Activity
(1984-05-01)
Two kinds of process models have been used in programs that reason about change: Discrete and continuous models. We describe the design and implementation of a qualitative simulator, PEPTIDE, which uses both kinds of ...
Planning for Conjunctive Goals
(1985-11-01)
The problem of achieving conjunctive goals has been central to domain independent planning research; the nonlinear constraint-posting approach has been most successful. Previous planners of this type have been comlicated, ...
KBEmacs: A Step Toward the Programmer's Apprentice
(1985-05-01)
The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semi-expert assistant to a person who is ...
Issues in the Design and Implementation of Act 2
(1983-06-01)
Act2 is a highly concurrent programming language designed to exploit the processing power available from parallel computer architectures. The language supports advanced concepts in software engineering, providing ...
A Compilation Strategy for Numerical Programs Based on Partial Evaluation
(1989-02-01)
This work demonstrates how partial evaluation can be put to practical use in the domain of high-performance numerical computation. I have developed a technique for performing partial evaluation by using placeholders ...
A Colony Architecture for an Artificial Creature
(1989-09-01)
This report describes a working autonomous mobile robot whose only goal is to collect and return empty soda cans. It operates in an unmodified office environment occupied by moving people. The robot is controlled by a ...
Multisensor Modeling Underwater with Uncertain Information
(1988-07-01)
This thesis develops an approach to the construction of multidimensional stochastic models for intelligent systems exploring an underwater environment. It describes methods for building models by a three- dimensional ...
A Theory of Quantitative Inference Applied to a Mechanical Design Compiler
(1989-01-01)
This thesis presents the ideas underlying a computer program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers ...
Performance Evaluation of the Scheme 86 and HP Precision Architecture
(1989-04-01)
The Scheme86 and the HP Precision Architectures represent different trends in computer processor design. The former uses wide micro-instructions, parallel hardware, and a low latency memory interface. The latter ...
Optimal Unsupervised Learning in Feedforward Neural Networks
(1989-01-01)
We investigate the properties of feedforward neural networks trained with Hebbian learning algorithms. A new unsupervised algorithm is proposed which produces statistically uncorrelated outputs. The algorithm causes ...