Browsing AI Technical Reports (1964  2004) by Title
Now showing items 266285 of 327

Sparsely Faceted Arrays: A Mechanism Supporting Parallel Allocation, Communication, and Garbage Collection
(20020601)Conventional parallel computer architectures do not provide support for nonuniformly distributed objects. In this thesis, I introduce sparsely faceted arrays (SFAs), a new lowlevel mechanism for naming regions of memory, ... 
Specialization of Perceptual Processes
(19950422)In this report, I discuss the use of vision to support concrete, everyday activity. I will argue that a variety of interesting tasks can be solved using simple and inexpensive vision systems. I will provide a number ... 
A Statistical ImageBased Shape Model for Visual Hull Reconstruction and 3D Structure Inference
(20030522)We present a statistical imagebased shape + structure model for Bayesian visual hull reconstruction and 3D structure inference. The 3D shape of a class of objects is represented by sets of contours from silhouette ... 
Statistical Object Recognition
(19930101)Two formulations of modelbased object recognition are described. MAP Model Matching evaluates joint hypotheses of match and pose, while Posterior Marginal Pose Estimation evaluates the pose only. Local search in pose ... 
StereoBased Head Pose Tracking Using Iterative Closest Point and Normal Flow Constraint
(20030501)In this text, we present two stereobased head tracking techniques along with a fast 3D model acquisition system. The first tracking technique is a robust implementation of stereobased head tracking designed for ... 
Structural Dynamics Model of a Cartesian Robot
(19851001)Methods are developed for predicting vibration response characteristics of systems which change configuration during operation. A cartesian robot, an example of such a positiondependent system, served as a test case ... 
Structure and Interpretation of Computer Programs
(19830701)"The Structure and Interpretation of Computer Programs" is the entrylevel subject in Computer Science at the Massachusetts Institute of Technology. It is required of all students at MIT who major in Electrical ... 
The Structure of Mathematical Knowledge
(19780801)This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of ... 
A Study of Qualitative and Geometric Knowledge in Reasoning about Motion
(19810201)Reasoning about motion is an important part of our commonsense knowledge, involving fluent spatial reasoning. This work studies the qualitative and geometric knowledge required to reason in a world that consists of ... 
Summarizing Qualitative Behavior from Measurements of NonlinearsCircuits
(19890501)This report describes a program which automatically characterizes the behavior of any driven, nonlinear, electrical circuit. To do this, the program autonomously selects interesting input parameters, drives the circuit, ... 
Surface Perception from Local Analysis of Texture and Contour
(19800201)The visual analysis of surface shape from texture and surface contour is treated within a computational framework. The aim of this study is to determine valid constraints that are sufficient to allow surface orientation ... 
Surface Reflectance Recognition and RealWorld Illumination Statistics
(20021001)Humans distinguish materials such as metal, plastic, and paper effortlessly at a glance. Traditional computer vision systems cannot solve this problem at all. Recognizing surface reflectance properties from a single ... 
Switching Between Discrete and Continuous Process Models to Predict Molecular Genetic Activity
(19840501)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 ... 
Symbolic Integration
(19670901)SIN and SOLDIER are heuristic programs in LISP which solve symbolic integration problems. SIN (Symbolic INtegrator) solves indefinite integration problems at the difficulty approaching those in the larger integral ... 
Symbolic Mathematical Laboratory
(19670101)A large computer program has been developed to aid applied mathematicians in the solution of problems in nonnumerical analysis which involve tedious manipulations of mathematical expressions. The mathematician uses ... 
SyntaxBased Analytic Reading of Musical Scores
(19670401)As part of a larger research project in musical structure, a program has been written which "reads" scores encoded in an input language isomorphic to music notation. The program is believed to be the first of its kind. ... 
The Synthesis of Stable ForceClosure Grasps
(19860701)This thesis addresses the problem of synthesizing grasps that are forceclosure and stable. The synthesis of forceclosure grasps constructs independent regions of contact for the fingertips, such that the motion of ... 
Synthesizing Regularity Exposing Attributes in Large Protein Databases
(19930501)This thesis describes a system that synthesizes regularity exposing attributes from large protein databases. After processing primary and secondary structure data, this system discovers an amino acid representation ... 
A System for Representing and Using RealWorld Knowledge
(19771201)This report describes a knowledgebase system in which the information is stored in a network of small parallel processing elements ??de and link units ??ich are controlled by an external serial computer. This network ... 
A Systems Approach to the Torque Control of a Permanent Magnet Brushless Motor
(19870801)Many approaches to force control have assumed the ability to command torques accurately. Concurrently, much research has been devoted to developing accurate torque actuation schemes. Often, torque sensors have been ...