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:

  • Kuncak, Viktor; Rinard, Martin (2003-08-22)
    Shape analysis is a promising technique for statically verifyingand extracting properties of programs that manipulatecomplex data structures. We introduce a new characterizationof constraints that arise in parametric ...
  • Barton, G. Edward, Jr. (1984-12-01)
    Recent linguistic theories cast surface complexity as the result of interacting subsystems of constraints. For instance, the ID/LP grammar formalism separates constraints on immediate dominance from those on linear ...
  • Jaakkola, Tommi; Jordan, Michael I.; Singh, Satinder P. (1993-08-01)
    Recent developments in the area of reinforcement learning have yielded a number of new algorithms for the prediction and control of Markovian environments. These algorithms, including the TD(lambda) algorithm of Sutton ...
  • Schneider, Robert; Riesenhuber, Maximilian (2004-01-14)
    Numerous psychophysical experiments have shown an important role for attentional modulations in vision. Behaviorally, allocation of attention can improve performance in object detection and recognition tasks. At the neural ...
  • Schneider, Robert; Riesenhuber, Maximilian (2004-01-14)
    Numerous psychophysical experiments have shown an important role for attentional modulations in vision. Behaviorally, allocation of attention can improve performance in object detection and recognition tasks. At the neural ...
  • Steck, Harald; Jaakkola, Tommi S. (2002-09-01)
    A common objective in learning a model from data is to recover its network structure, while the model parameters are of minor interest. For example, we may wish to recover regulatory networks from high-throughput data ...
  • Hajiaghayi, MohammadTaghi; Leighton, F. Thomson (2003-07-05)
    We give a pure combinatorial problem whose solution determines max-flow min-cut ratio for directed multicommodity flows. In addition, this combinatorial problem has applications in improving the approximation factor of ...
  • Pontil, Massimiliano; Mukherjee, Sayan; Girosi, Federico (1998-10-01)
    Support Vector Machines Regression (SVMR) is a regression technique which has been recently introduced by V. Vapnik and his collaborators (Vapnik, 1995; Vapnik, Golowich and Smola, 1996). In SVMR the goodness of fit ...
  • Logothetis, N.K.; Leopold, D.A. (1995-11-01)
    Binocular rivalry refers to the alternating perceptions experienced when two dissimilar patterns are stereoscopically viewed. To study the neural mechanism that underlies such competitive interactions, single cells were ...
  • Marr, David (1974-12-01)
    This article advances the thesis that the purpose of low-level vision is to encode symbolically all of the useful information contained in an intensity array, using a vocabulary of very low-level symbols: subsequent processes ...
  • Grimson, W. Eric L. (1987-07-01)
    Determining the identity and pose of occluded objects from noisy data is a critical part of a system's intelligent interaction with an unstructured environment. Previous work has shown that local measurements of the ...
  • Grimson, W. Eric L. (1987-10-01)
    Determining the identity and pose of occluded objects from noisy data is a critical step in interacting intelligently with an unstructured environment. Previous work has shown that local measurements of position and ...
  • Niyogi, Partha; Girosi, Federico (1994-02-01)
    In this paper, we bound the generalization error of a class of Radial Basis Function networks, for certain well defined function learning tasks, in terms of the number of parameters and number of examples. We show ...
  • Schatz, Bruce R. (MIT Artificial Intelligence Laboratory, 1976-05)
    This paper is intended as a brief introduction to several issues concerning semantic categories. These are the everyday, factual groupings of world knowledge according to some similarity in characteristics. Some psychological ...
  • Silver, William M. (1981-03-01)
    Recently there has been considerable interest in efficient formulations of manipulator dynamics, mostly due to the desirability of real-time control or analysis of physical devices using modest computers. The inefficiency ...
  • Grimson, W. Eric L.; Huttenlocher, David (1988-05-01)
    A common method for finding an object's pose is the generalized Hough transform, which accumulates evidence for possible coordinate transformations in a parameter space and takes large clusters of similar transformations ...
  • Fahle, Manfred (1990-08-01)
    Moving objects may stimulate many retinal photoreceptors within the integration time of the receptors without motion blur being experienced. Anderson and vanEssen (1987) suggested that the neuronal representation of ...
  • Basri, Ronen (1991-12-01)
    The task of shape recovery from a motion sequence requires the establishment of correspondence between image points. The two processes, the matching process and the shape recovery one, are traditionally viewed as independent. ...
  • Grimson, W. Eric L.; Huttenlocher, Daniel P. (1989-05-01)
    In model-based recognition, ad hoc techniques are used to decide if a match of data to model is correct. Generally an empirically determined threshold is placed on the fraction of model features that must be matched. ...
  • Evgeniou, Theodoros; Pontil, Massimiliano (1999-05-01)
    This paper presents a computation of the $V_gamma$ dimension for regression in bounded subspaces of Reproducing Kernel Hilbert Spaces (RKHS) for the Support Vector Machine (SVM) regression $epsilon$-insensitive loss function, ...
MIT-Mirage