Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 1464-1483 of 3804
-
HAKMEM
(1972-02-01)Here is some little know data which may be of i nterest to computer hackers. The items and examples are so sketchy that to decipher them may require more sincerity and curiosity than a non-hacker can muster. Doubtless, ... -
HAMPI: A Solver for String Constraints
(2009-02-04)Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of concerns often leads to more ... -
Hand Eye Coordination
(MIT Artificial Intelligence Laboratory, 1976-07)This paper describes a simple method of converting visual coordinates to arm coordinates which does not require knowledge of the position of the camera(s). Comparisons are made to other methods and two camera, three ... -
Hardware and Program Memo About SERVO
(1967-03-01)SERVO is intended as an engineering and programming analyzing and debugging aid for use with devices connected through the input and output multiplexers to the PDP-6. Cannel numbers and values to output, as well as ... -
Hardware Estimatino of a Process' Primary Memory Requirements
(1977-01)It is shown that a process' primary memory requirements can be approximated by use of the miss rate in the Honeywell 6180's page table word associative memory. This primary memory requirement estimate was employed by an ... -
Hardware Mechanisms for Memory Integrity Checking
(2002-11)Memory integrity verification is a useful primitive when implementing secure processors that are resistant to attacks on hardware components. This paper proposes new hardware schemes to verify the integrity of untrusted ... -
Hardware Memo - Input Multiplexer Status
(1966-10-01)Note: Computer control of Input Multiplexer and Output Sample and Hold is available when clock and test switches on the I/O box are in "Computer Input" and "Computer Output" positions, respectively. Manual operation of the ... -
Harvesting Application Information for Industry-Scale Relational Schema Matching
(2013-09-10)Consider the problem of migrating a company's CRM or ERP database from one application to another, or integrating two such databases as a result of a merger. This problem requires matching two large relational schemas with ... -
Hash-Coding Functions of a Complex Variable
(1964-06-25)A common operation in non-numerical analysis is the comparison of symbolic mathematical expressions. Often equivalence under the algebraic and trigonometric relations can be determined with the high probability by hash-coding ... -
Height and Gradient from Shading
(1989-05-01)The method described here for recovering the shape of a surface from a shaded image can deal with complex, wrinkled surfaces. Integrability can be enforced easily because both surface height and gradient are represented. ... -
Helping People Think
(1971-04)Everyone, today, is familiar with the use of machines to ease physical burdens. Since the dawn of civilization, man's progress in gaining control over his environment has been largely determined by the power and sophistication ... -
Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System
(2010-12-08)Heracles is an open-source complete multicore system written in Verilog. It is fully parameterized and can be reconfigured and synthesized into different topologies and sizes. Each processing node has a 7-stage pipeline, ... -
Herbert: A Second Generation Mobile Robot
(1988-01-01)In mobile robot research we believe the structure of the platform, its capabilities, the choice of sensors, their capabilities, and the choice of processors, both onboard and offboard, greatly constrains the direction of ... -
Hermeneutics: From Textual Explication to Computer Understanding?
(1986-05-01)Hermeneutics, a branch of continental European philosophy concerned with human understanding and the interpretation of written texts, offers insights that may contribute to the understanding of meaning, translation, ... -
A Heterarchical Program for Recognition of Polyhedra
(MIT Artificial Intelligence Laboratory, 1972-06)Recognition of polyhedra by a heterarchical program is presented. The program is based on the strategy of recognizing objects step by step, at each time making use of the previous results. At each stage, the most obvious ... -
A Heterarchical Program for Recognition of Polyhedra
(1972-06-01)Recognition of polyhedra by a heterarchical program is presented. The program is based on the strategy of recognizing objects step by step, at each time making use of the previous results. At each stage, the most obvious ... -
Heterarchy in the M.I.T. Robot
(MIT Artificial Intelligence Laboratory, 1971-03) -
Heterogeneous Multi-Robot Cooperation
(1994-02-01)This report addresses the problem of achieving cooperation within small- to medium- sized teams of heterogeneous mobile robots. I describe a software architecture I have developed, called ALLIANCE, that facilitates ... -
A Heuristic Approach to Alternate Routing in a Job Shop
(1965-06)The research reported here investigates the use of heuristics for selecting from several alternate routes resulting from partially ordered tasks in a job shop order file. The experimental vehicle employed was digital ... -
A Heuristic Program that Constructs Decision Trees
(1969-03-01)Suppose there is a set of objects, {A, B,...E} and a set of tests, {T1, T2,...TN). When a test is applied to an object, the result is wither T or F. Assume the test may vary in cost and the object may vary in probability ...
