Advanced Search
DSpace@MIT

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Research and Teaching Output of the MIT Community

Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Title

Sort by: Order: Results:

  • Feamster, Nick; Johari, Ramesh; Balakrishnan, Hari (2005-02-08)
    Thousands of competing autonomous systems (ASes) mustcooperate with each other to provide global Internet connectivity.These ASes encode various economic, business,and performance decisions in their routing policies. The ...
  • Long, Fan; Rinard, Martin (2015-03-11)
    We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR s staged repair strategy combines a rich space of potential repairs with a ...
  • Long, Fan; Rinard, Martin (2015-03-05)
    We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR's staged repair strategy combines a rich space of potential repairs with a ...
  • Narasimhan, Sundar; Siegel, David M.; Hollerbach, John M. (1988-07-01)
    This paper describes a fully implemented computational architecture that controls the Utah-MIT dextrous hand and other complex robots. Robots like the Utah-MIT hand are characterized by large numbers of actuators and ...
  • LaMacchia, Brian; Nieh, Jason (1989-09-01)
    We have designed the Standard Map Machine(SMM) as an answer to the intensive computational requirements involved in the study of chaotic behavior in nonlinear systems. The high-speed and high-precision performance of ...
  • Hansen, Richard E. (2007-06-21)
    Distributed denial-of-service (DDoS) attacks can easily cripple victim hosts or networks, yet effective defenses remain elusive. Normal anycast can be used to force the diffusion of attack traffic over a group of several ...
  • Raibert, Marc (1976-01-01)
    This is the first of a two-part presentation which deals with certain computer controlled manipulator problems. This first part discusses a model which is designed to address problems of motor control, motor learning, ...
  • Grauman, Kristen (2003-05-22)
    We present a statistical image-based 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 ...
  • Mukherjee, Sayan; Niyogi, Partha; Poggio, Tomaso; Rifkin, Ryan (2002-12-01)
    Solutions of learning problems by Empirical Risk Minimization (ERM) need to be consistent, so that they may be predictive. They also need to be well-posed, so that they can be used robustly. We show that a statistical ...
  • Hofmann, Thomas; Puzicha, Jan (1998-02-01)
    Modeling and predicting co-occurrences of events is a fundamental problem of unsupervised learning. In this contribution we develop a statistical framework for analyzing co-occurrence data in a general setting where ...
  • Wells, William M. III (1993-01-01)
    Two formulations of model-based 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 ...
  • Martin, William (1966-07-01)
    This memo describes the step by step solution of three problems from different fields of applied mathematics. These problems are solved by typing a series of computer commands for the manipulation of symbolic mathematical ...
  • Larson, Noble G. (MIT Artificial Intelligence Laboratory, 1979-02)
    This paper describes a hardware system designed to facilitate position and velocity control of a group of eight stepping motors using a PDP-11. The system includes motor driver cards and other interface cards in addition ...
  • McDonald, David D. (MIT Artificial Intelligence Laboratory, 1979-04)
    This paper discusses what it would mean to have a psychological model of the language production process: what such a model would have to account for, what it would use as evidence. It outlines and motivates one particular ...
  • Frank, Claude (MIT Artificial Intelligence Laboratory, 1980-12)
    This paper describes a system which automatically generates program documentation. Starting with a plan generated by analyzing the program, the system computes several kinds of summary information about the program. The ...
  • Geiger, Davi; Yuille, Alan (1988-01-01)
    We describe a method to solve the stereo correspondence using controlled eye (or camera) movements. These eye movements essentially supply additional image frames which can be used to constrain the stereo matching. ...
  • Minsky, Marvin (1967-09-01)
    A brief introduction to use of projecting coordinates for hand-eye position computations. Some standard theorems. Appendix A reproduces parts of Roberts' thesis concerning homogenous coordinated and matching of perspectively ...
  • Morency, Louis-Philippe (2003-05-01)
    In this text, we present two stereo-based head tracking techniques along with a fast 3D model acquisition system. The first tracking technique is a robust implementation of stereo-based head tracking designed for ...
  • Braunegg, David J. (1989-09-01)
    This paper describes a new method for matching, validating, and disambiguating features for stereo vision. It is based on the Marr-Poggio- Grimson stereo matching algorithm which uses zero-crossing contours in ...
  • Edelman, Shimon; Bulthoff, Heinrich; Weinshall, Daphna (1989-07-01)
    We describe a psychophysical investigation of the effects of object complexity and familiarity on the variation of recognition time and recognition accuracy over different views of novel 3D objects. Our findings indicate ...
MIT-Mirage