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-10-24)
    We present role logic, a notation for describing propertiesof relational structures in shape analysis, databases, andknowledge bases. We construct role logic using the ideas ofde Bruijn's notation for lambda calculus, an ...
  • Pfister, Gregory F. (MIT Artificial Intelligence Laboratory, 1973-03-29)
  • Kuncak, Viktor; Rinard, Martin (2004-10-25)
    Spatial conjunction is a powerful construct for reasoning about dynamically allocateddata structures, as well as concurrent, distributed and mobile computation. Whileresearchers have identified many uses of spatial ...
  • Jung, Jaeyeon; Milito, Rodolfo A.; Paxson, Vern (2006-11-10)
    We present two light-weight worm detection algorithms thatoffer significant advantages over fixed-threshold methods.The first algorithm, RBS (rate-based sequential hypothesis testing)aims at the large class of worms that ...
  • 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 ...
MIT-Mirage