Now showing items 16-35 of 327

    • ARLO: Another Representation Language Offer 

      Haase, Kenneth W., Jr. (1986-10-01)
      This paper describes ARLO, a representation language loosely modelled after Greiner and Lenant's RLL-1. ARLO is a structure-based representation language for describing structure-based representation languages, including ...
    • Assimilation of New Information by a Natural Language Understanding System 

      McDermott, Drew V. (1974-02-01)
      This work describes a program, called TOPLE, which uses a procedural model of the world to understand simple declarative sentences. It accepts sentences in a modified predicate calculus symbolism, and uses plausible ...
    • Asymptotically Zero Energy Computing Using Split-Level Charge Recovery Logic 

      Younis, Saed G. (1994-06-01)
      The dynamic power requirement of CMOS circuits is rapidly becoming a major concern in the design of personal information systems and large computers. In this work we present a number of new CMOS logic families, Charge ...
    • Attentional Selection in Object Recognition 

      Tanveer, S.; Mahmood, F. (1993-01-01)
      A key problem in object recognition is selection, namely, the problem of identifying regions in an image within which to start the recognition process, ideally by isolating regions that are likely to come from a single ...
    • Automated Acquisition of Evolving Informal Descriptions 

      Reubenstein, Howard B. (1990-06-01)
      The Listener is an automated system that unintrusively performs knowledge acquisition from informal input. The Listener develops a coherent internal representation of a description from an initial set of disorganized, ...
    • Automated Assembly Using Feature Localization 

      Gordon, Steven Jeffrey (1986-12-01)
      Automated assembly of mechanical devices is studies by researching methods of operating assembly equipment in a variable manner; that is, systems which may be configured to perform many different assembly operations ...
    • Automated Program Recognition 

      Wills, Linda M. (1987-02-01)
      The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, ...
    • Automated Program Recognition by Graph Parsing 

      Wills, Linda M. (1992-07-01)
      Recognizing standard computational structures (cliches) in a program can help an experienced programmer understand the program. We develop a graph parsing approach to automating program recognition in which programs ...
    • Automated Reasoning About Classical Mechanics 

      Wong, Leon (1994-05-01)
      In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical ...
    • Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based On P 

      Zhao, Feng (1992-09-01)
      I present a novel design methodology for the synthesis of automatic controllers, together with a computational environment---the Control Engineer's Workbench---integrating a suite of programs that automatically analyze ...
    • Automatic Analysis of the Logical Structure of Programs 

      Waters, Richard C. (1978-12-01)
      This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make ...
    • Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations 

      Sacks, Elisha (1988-03-01)
      This paper explores automating the qualitative analysis of physical systems. It describes a program, called PLR, that takes parameterized ordinary differential equations as input and produces a qualitative description of ...
    • Automatic Qualitative Modeling of Dynamic Physical Systems 

      Amsterdam, Jonathan (1993-01-01)
      This report describes MM, a computer program that can model a variety of mechanical and fluid systems. Given a system's structure and qualitative behavior, MM searches for models using an energy-based modeling framework. ...
    • Automatically Recovering Geometry and Texture from Large Sets of Calibrated Images 

      Mellor, J.P. (1999-10-22)
      Three-dimensional models which contain both geometry and texture have numerous applications such as urban planning, physical simulation, and virtual environments. A major focus of computer vision (and recently graphics) ...
    • Basis Reduction Algorithms and Subset Sum Problems 

      LaMacchia, Brian A. (1991-06-01)
      This thesis investigates a new approach to lattice basis reduction suggested by M. Seysen. Seysen's algorithm attempts to globally reduce a lattice basis, whereas the Lenstra, Lenstra, Lovasz (LLL) family of reduction ...
    • BioJADE: A Design and Simulation Tool for Synthetic Biological Systems 

      Goler, Jonathan A. (2004-05-28)
      The next generations of both biological engineering and computer engineering demand that control be exerted at the molecular level. Creating, characterizing and controlling synthetic biological systems may provide us ...
    • A Biological Model of Object Recognition with Feature Learning 

      Louie, Jennifer (2003-06-01)
      Previous biological models of object recognition in cortex have been evaluated using idealized scenes and have hard-coded features, such as the HMAX model by Riesenhuber and Poggio [10]. Because HMAX uses the same set ...
    • Boundaries and Topological Algorithms 

      Fleck, Margaret Morrison (1988-09-01)
      This thesis develops a model for the topological structure of situations. In this model, the topological structure of space is altered by the presence or absence of boundaries, such as those at the edges of objects. ...
    • BUILD: A Tool for Maintaining Consistency in Modular Systems 

      Robbins, Richard Elliot (1985-11-01)
      Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a ...
    • Building Grounded Abstractions for Artificial Intelligence Programming 

      Hearn, Robert A. (2004-06-16)
      Most Artificial Intelligence (AI) work can be characterized as either ``high-level'' (e.g., logical, symbolic) or ``low-level'' (e.g., connectionist networks, behavior-based robotics). Each approach suffers from particular ...