Search
Now showing items 21-29 of 29
A Binocular, Foveated Active Vision System
(1998-03-01)
This report documents the design and implementation of a binocular, foveated active vision system as part of the Cog project at the MIT Artificial Intelligence Laboratory. The active vision system features a three degree ...
Coordinate-Independent Computations on Differential Equations
(1998-03-01)
This project investigates the computational representation of differentiable manifolds, with the primary goal of solving partial differential equations using multiple coordinate systems on general n- dimensional spaces. ...
Recovery of Three-Dimensional Objects from Single Perspective Images
(1998-03-01)
Any three-dimensional wire-frame object constructed out of parallelograms can be recovered from a single perspective two-dimensional image. A procedure for performing the recovery is given.
Distributed analysis of Markov chains
(1998)
This thesis examines how parallel and distributed algorithms can increase the power of techniques for correctness and performance analysis of concurrent systems. The systems in question are state transition systems from ...
Bisimulation as a verification and validation technique for message sequence charts
(1998)
The complexity of determining whether a system meets the requirements of its designers has increased with the widespread use of real time concurrent systems. This testing process has however been simplified with the emergence ...
A graphical representation for the formal description technique Estelle
(1998)
This dissertation concerns the specification and description of complex communicating systems using Formal Description Techniques. Specifically, we propose a standard graphical representation for the Formal Description ...
An extension to optic flow analysis for the generation of computer animated images
(1998)
This dissertation seeks to develop image based animation methods using the technique of optic flow analysis developed for a moving planar object. Image based rendering is presented as a class of algorithm using two dimensional ...
Bottom-up evaluation of HiLog in the context of deductive database systems
(1998)
HiLog is a logic-based language which boasts the expressiveness of a higher-order syntax while retaining the simplicity of a first-order semantics. This work examines the suitability of Horn-clause HiLog as a query language ...
Pattern recognition and the nondeterminable affine parameter problem
(1998)
This thesis reports on the process of implementing pattern recognition systems using classification models such as artificial neural networks (ANNs) and algorithms whose theoretical foundations come from statistics. The ...