Search
Now showing items 481-490 of 625
Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits
(1987-06-01)
I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's ...
Natural Object Categorization
(1987-11-01)
This thesis addresses the problem of categorizing natural objects. To provide a criteria for categorization we propose that the purpose of a categorization is to support the inference of unobserved properties of objects ...
UNITRAN: A Principle-Based Approach to Machine Translation
(1987-12-01)
Machine translation has been a particularly difficult problem in the area of Natural Language Processing for over two decades. Early approaches to translation failed since interaction effects of complex phenomena in ...
An O(N) Algorithm for Three-Dimensional N-Body Simulations
(1987-10-01)
We develop an algorithm that computes the gravitational potentials and forces on N point-masses interacting in three-dimensional space. The algorithm, based on analytical techniques developed by Rokhlin and Greengard, ...
Enhancing the Dexterity of a Robot Hand Using Controlled Slip
(1987-05-01)
Humans can effortlessly manipulate objects in their hands, dexterously sliding and twisting them within their grasp. Robots, however, have none of these capabilities, they simply grasp objects rigidly in their end ...
ONTIC: A Knowledge Representation System for Mathematics
(1987-07-01)
Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical ...
Principle-Based Parsing
(1987-06-01)
During the past few years, there has been much discussion of a shift from rule-based systems to principle-based systems for natural language processing. This paper outlines the major computational advantages of ...
Complexity of Human Language Comprehension
(1988-12-01)
The goal of this article is to reveal the computational structure of modern principle-and-parameter (Chomskian) linguistic theories: what computational problems do these informal theories pose, and what is the underlying ...
The Perception of Subjective Surfaces
(1981-11-01)
It is proposed that subjective contours are an artifact of the perception of natural three-dimensional surfaces. A recent theory of surface interpolation implies that "subjective surfaces" are constructed in the visual ...
Program Understanding through Cliché Recognition
(MIT Artificial Intelligence Laboratory, 1981-12)
We propose research into automatic program understanding via recognition of common data structures and algorithms (clichés). Our goals are two-fold: first, to develop a theory of program structure which makes such recognition ...