Now showing items 1105-1124 of 1217

    • Theory of Edge Detection 

      Marr, D.; Hildreth, E. (1979-04-01)
      A theory of edge detection is presented.
    • A Theory of How the Brain Might Work 

      Poggio, Tomaso (1990-12-01)
      I wish to propose a quite speculative new version of the grandmother cell theory to explain how the brain, or parts of it, may work. In particular, I discuss how the visual system may learn to recognize 3D objects. The ...
    • A Theory of Human Stereo Vision 

      Marr, D.; Poggio, T. (1977-11-01)
      An algorithm is proposed for solving the stereoscopic matching problem. The algorithm consists of five steps: 1.) Each image is filtered with bar masks of four sizes that vary with eccentricity; the equivalent filters ...
    • A Theory of Networks for Appxoimation and Learning 

      Poggio, Tomaso; Girosi, Federico (1989-07-01)
      Learning an input-output mapping from a set of examples, of the type that many neural networks have been constructed to perform, can be regarded as synthesizing an approximation of a multi-dimensional function, that ...
    • Thesis Progress Report: A System for Representing and Using Real-World Knowledg 

      Fahlman, Scott E. (1975-05-01)
      This paper describes progress to date in the development of a system for representing various forms of real-world knowledge. The knowledge is stored in the form of a net of simple parallel processing elements, which ...
    • Thinking About Lots of Things at Once without Getting Confused: Parallelism in Act 1 

      Lieberman, Henry (1981-05-01)
      As advances in computer architecture and changing economics make feasible machines with large-scale parallelism, Artificial Intelligence will require new ways of thinking about computation that can exploit parallelism ...
    • Three Cuts for Accelerated Interval Propagation 

      McAllester, D.; Henlenryck, P. Van; Kapur, T. (1995-05-01)
      This paper addresses the problem of nonlinear multivariate root finding. In an earlier paper we described a system called Newton which finds roots of systems of nonlinear equations using refinements of interval methods. ...
    • A Three Valued Truth Maintenance System 

      McAllester, David A. (1978-05-01)
      Truth maintenance systems have been used in recently developed problem solving systems. A truth maintenance system (TMS) is designed to be used by deductive systems to maintain the logical relations among the beliefs ...
    • The Three-Dimensional Interpretation of a Class of Simple Line-Drawings 

      Marill, Thomas (1995-10-01)
      We provide a theory of the three-dimensional interpretation of a class of line-drawings called p-images, which are interpreted by the human vision system as parallelepipeds ("boxes"). Despite their simplicity, p-images ...
    • A Three-Step Procedure for Language Generation 

      Katz, Boris (1980-12-01)
      This paper outlines a three-step plan for generating English text from any semantic representation by applying a set of syntactic transformations to a collection of kernel sentences. The paper focuses on describing a ...
    • Time-Reversible Maxwell's Demon 

      Skordos, P. A. (1992-09-01)
      A time-reversible Maxwell's demon is demonstrated which creates a density difference between two chambers initialized to have equal density. The density difference is estimated theoretically and confirmed by computer ...
    • Time-Sharing LISP for the PDP-6 

      White, John (1968-03-01)
      This memo written in the style and convention of A.I. memo No. 116A, may be considered an addendum thereto. It should prove to be a welcome updating on the LISP system.
    • Topics in Model Theory 

      Levin, Michael (1965-05-01)
      The concept of "free" as in free group and free semi-group is extended to arbitrary first order theories. Every consistent theory has free models. Some problems of obtaining a categorical theory of models are discussed.
    • Topics in Model Theory 

      Levin, Michael (1966-01-01)
      The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed ...
    • TORTIS: Toddler's Own Recursive Turgle Interpreter System 

      Perlman, Radia (1974-12-01)
      TORTIS is a device for preschool children to communicated with and program the turtle. It consistst of several boxes (currently 3 button boxes and two blox boxes) designed so that only a few new concepts are introduced ...
    • Toward a Computational Theory of Early Visual Processing In Reading 

      Brady, Mike (1980-09-01)
      This paper is the first of a series aimed at developing a theory of early visual processing in reading. We suggest that there has been a close parallel in the development of theories of reading and theories of vision ...
    • Toward a Principle-Based Parser 

      Barton, G. Edward, Jr. (1984-07-01)
      Parser design lags behind linguistic theory. While modern transformational grammar has largely abandoned complex, language-specific rule systems in favor of modular subsystems of principles and parameters, the rule ...
    • Toward a Remotely-Manned Energy and Production Economy 

      Minsky, Marvin (1979-09-01)
      We can solve many problems of Energy, Health, Productivity, and Environmental Quality by improving the technology of remote control. This will produce Nuclear Safety and Security, Advances in Mining, Increases in ...
    • Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications 

      Rich, Charles; Waters, Richard C. (1986-07-01)
      Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation and modification ...
    • Toward a Surface Primal Sketch 

      Ponce, Jean; Brady, Michael (1985-04-01)
      This paper reports progress toward the development of a representation of significant surface changes in dense depth maps. We call the representation the Surface Primal Sketch by analogy with representation of intensity ...