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:

  • Marroquin, Jose L.; Girosi, Federico (1993-01-01)
    In this paper we present some extensions to the k-means algorithm for vector quantization that permit its efficient use in image segmentation and pattern classification tasks. It is shown that by introducing state ...
  • Norton, Lewis M. (1962-01-01)
    The purpose of this paper is two-fold; 1) to explore the use of recursion induction in proving theorem about functions of symbolic expressions, in particular. 2) to investigate thoroughly the algebraic properties of the ...
  • Lavin, Mark A. (MIT Artificial Intelligence Laboratory, 1974-12)
    This paper is a thesis-proposal-proposal: a discussion of some issues which seem relevant to the problem of dealing with visual scenes undergoing change. The problem area is broadly stated, some relevant points are noted, ...
  • Papert, Seymour A. (1976-06-01)
    Ten years is in some ways a challenging and in some ways a very awkward period for predicting the impact of computers in education. If you asked me whether the practice of education will have undergone a fundamental ...
  • Lawler, Robert (1981-12-01)
    Here is a set of problem solving ideas (absorbed by and developed through the MIT Logo project over many years) presented in such a way as to useful to someone with a Logo computer. With the ideas on unbound, single ...
  • Goldstein, Ira; Sussman, Gerald Jay (MIT Artificial Intelligence Laboratory, 1974-04)
    This paper proposes three research topics within the general framework of Automatic Programming. The projects are designing (1) a student programmer, (2) a robot programmer and (3) a physicist's helper. The purpose of these ...
  • Bruss, Anna R. (1979-04-01)
    The image irradiance equation is a first order partial differential equation. Part of this paper is a "comprehensive" guide to solving this kind of equation. The special structure of the image irradiance equation is ...
  • Caponnetto, Andrea; Rakhlin, Alexander (2005-05-17)
    We study properties of algorithms which minimize (or almost minimize) empirical error over a Donsker class of functions. We show that the L2-diameter of the set of almost-minimizers is converging to zero in probability. ...
  • Roylance, Gerald (1984-09-01)
    Here's a LISP library of mathematical functions that calculate hyperbolic and inverse hyperbolic functions. Bessel functions, elliptic integrals, the gamma and beta functions, and the incomplete gamma and beta functions. ...
  • Khan, M. Taimoor; Serpanos, Dimitrios; Shrobe, Howard (2016-12-15)
    We present a run-time security monitor that detects both known and unknown cyber attacks by checking that the run-time behavior of the application is consistent with the expected behavior modeled by an application ...
  • Long, Fan; Sidiroglou-Douskos, Stelios; Kim, Deokhwan; Rinard, Martin (2013-08-06)
    We present a system, SIFT, for generating input filters that nullify integer overflow errors associated with critical program sites such as memory allocation or block copy sites. SIFT uses a static program analysis to ...
  • Finlayson, Mark Alan; Kulkarni, Nidhi (2011-05-09)
    Contains the source code and data necessary to run all computations described in the following two papers: Finlayson, Mark A. and Kulkarni, Nidhi (2011) "Detecting Multi-Word Expressions improves Word Sense Disambiguation", ...
  • Jacobs, David W. (1992-02-01)
    We show that we can optimally represent the set of 2D images produced by the point features of a rigid 3D model as two lines in two high-dimensional spaces. We then decribe a working recognition system in which we ...
  • Miller, Mark L.; Goldstein, Ira P. (1976-12-01)
    A grammar of plans is developed from a taxonomy of basic planning techniques. This grammar serves as the basis for the design of a new kind of interactive programming environment (SPADE), in which programs are generated ...
  • Papgeorgiou, Constantine P.; Girosi, Federico; Poggio, Tomaso (1998-05-01)
    This paper presents a new paradigm for signal reconstruction and superresolution, Correlation Kernel Analysis (CKA), that is based on the selection of a sparse set of bases from a large dictionary of class- specific basis ...
  • Brown, Jeremy Hanford (2002-06-01)
    Conventional parallel computer architectures do not provide support for non-uniformly distributed objects. In this thesis, I introduce sparsely faceted arrays (SFAs), a new low-level mechanism for naming regions of memory, ...
  • Berinde, Radu; Indyk, Piotr (2008-01-10)
    We consider the approximate sparse recovery problem, where the goal is to (approximately) recover a high-dimensional vector x from its lower-dimensional sketch Ax. A popular way of performing this recovery is by finding ...
  • Yip, Kenneth; Sussman, Gerald Jay (1997-11-01)
    Humans rapidly and reliably learn many kinds of regularities and generalizations. We propose a novel model of fast learning that exploits the properties of sparse representations and the constraints imposed by a plausible ...
  • Evgeniou, Theodoros; Poggio, Tomaso (1997-09-01)
    We discuss the problem of finding sparse representations of a class of signals. We formalize the problem and prove it is NP-complete both in the case of a single signal and that of multiple ones. Next we develop a simple ...
  • Theocharous, Georgios; Mahadevan, Sridhar; Kaelbling, Leslie Pack (2005-09-27)
    Partially observable Markov decision processes (POMDPs) are a well studied paradigm for programming autonomous robots, where the robot sequentially chooses actions to achieve long term goals efficiently. Unfortunately, ...
MIT-Mirage