Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title
Now showing items 1427-1446 of 3804
-
Global Time in Actor Computations
(MIT Artificial Intelligence Laboratory, 1979-06) -
The Gloss of Glossy Things
(MIT Artificial Intelligence Laboratory, 1973-03)This paper discusses the visual phenomenon of gloss. It is shown that the perception of this phenomenon derives from two effects (1) that the image reflected by a glossy surface lies in a different plane from the surface, ... -
A Glossary of LOGO Primitives
(1974-12-01)This is a brief description of the primitives in PDP 11 LOGO. It is intended to provide a quick reference for users who are already familiar with LOGO basics. For a more detailed and comprehensive description of LOGO, ... -
A Glossary of PDP11 LOGO Primitives
(1975-03-01)This glossary was written for the purpose of providing a quick and concise yet accurate description of the primitives and special words and characters of the March 18, 1975 PDP 11 implementation of the LOGO languge. ... -
-
Gnat Robots (And How They Will Change Robotics)
(MIT Artificial Intelligence Laboratory, 1987-06)A new concept in mobile robots is proposed, namely that of a gnat-sized autonomous robot with on-board sensors, brains, actuators and power supplies, all fabricated on a single piece of silicon. Recent breakthroughs in ... -
A Government-Binding Based Parser for Warlpiri, a Free-Word Order Language
(1987-01-01)Free-word order languages have long posed significant problems for standard parsing algorithms. This thesis presents an implemented parser, based on Government-Binding (GB) theory, for a particular free-word order ... -
GPRINT - A LISP Pretty Printer Providing Extensive User Format-Control Mechanism
(1981-10-01)A pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as programs. It is divided ... -
GPRINT: A LISP Pretty Printer Providing Extensive User Format Control Mechanism
(1982-09-01)A Lisp pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as programs. It is ... -
GPSG-Recognition is NP-Hard
(1985-03-01)Proponents of generalized phrase structure grammar (GPSG) cite its weak context-free generative power as proof of the computational tractability of GPSG-Recognition. Since context-free languages (CFLs) can be parsed ... -
Gradient Clock Synchronization in Dynamic Networks
(2009-05-29)Over the last years, large-scale decentralized computer networks such as peer-to-peer and mobile ad hoc networks have become increasingly prevalent. The topologies of many of these networks are often highly dynamic. This ... -
Grammar as a Programming Language
(1976-10-01)This paper discusses some student projects involving generative grammars. While grammars are usually associated with linguisitics, their usefuleness goes far beyond just "language" to make different domains. Their ... -
Grammar for the People: Flowcharts of SHRDLU's Grammar
(1973-03-01)The grammar which SHRDLU uses to parse sentences is outlined in a series of flowcharts which attempt to modularize and illuminate its structure. In addition, a short discussion of systemic grammar is included. -
Grammar Rewriting
(1991-12-01)We present a term rewriting procedure based on congruence closure that can be used with arbitrary equational theories. This procedure is motivated by the pragmatic need to prove equations in equational theories where ... -
The Graph Display as an Aid in the Monitoring of a Time-shared Computer System
(1968-10)The problem of dynamic observation of the state of a time-shared computer system is investigated. The Graphical Display Monitoring System was developed as a medium for this experimental work. It is an integrated system ... -
A Graph Model for Parallel Computations
(1969-09)This report presents a computational model called program graphs which makes possible a precise description of parallel computations of arbitrary complexity on non-structured data. In the model, the computation steps ... -
The Graphical Typewriter: A Versatile Remote Console Idea
(1964-01-01)It would be useful to develop a combination typewriter-plotter along the lines described below. The device could be coupled to a telephone line with a reasonably small amount of electronics -- mostly relays. -
Graphite: A Distributed Parallel Simulator for Multicores
(2009-11-09)This paper introduces the open-source Graphite distributed parallel multicore simulator infrastructure. Graphite is designed from the ground up for exploration of future multicore processors containing dozens, hundreds, ... -
The Grasping Problem: Toward Task-Level Programming for an Articulated Hand
(1990-05-01)This report presents a system for generating a stable, feasible, and reachable grasp of a polyhedral object. A set of contact points on the object is found that can result in a stable grasp; a feasible grasp is found ...