Author: SRI International

  • Combining Neural Networks and Hidden Markov Models for Continuous Speech Recognition

    We present a speaker-independent, continuous-speech recognition system based on a hybrid multilayer perceptron (MLP)/hidden Markov model (HMM). The system combines the advantages of both approaches by using MLPs to estimate the state-dependent observation probabilities of an HMM.

  • The Planning of Actions and The Basal Ganglia

    The model posits that the basal ganglia are responsible for driving smooth transitions of state (e.g., joint positions) for an organism.

  • Active head movements help solve stereo correspondance

    Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

  • Active Stereo with head movement

  • Learning By Collaborating: Convergent Conceptual Change

    The goal of this article is to construct an integrated approach to collaboration and conceptual change. To this end, a case of conceptual change is analyzed from the point of view of conversational interaction.

  • Self-calibration of a camera using multiples images

    The authors present a complete method for calibrating a camera, which requires only point matches from image sequences.

  • Camera self-calibration: theory and experiments

    In this paper a complete method for calibrating a camera is presented. In contrast with existing methods it does not require a calibration object with a known 3D shape.

  • Overview Of The SRI Cartographic Modeling Environment

    The SRI Cartographic Modeling Environment has been created to support research on interactive, semi-automated, and automated computer-based cartographic activities. The underlying image manipulation capabilities are provided by the SRI ImagCalc system.

  • Caching and Lemmaizing In Model Elimination Theorem Provers

    In this paper we report on work done to modify a model elimination theorem prover using two techniques, caching and lemmaizing, that have reduced by more than an order of magnitude the time required to find proofs of several problems and that have enabled the prover to prove theorems previously unobtainable by top-down model elimination…

  • Intelligent monitoring and control of semiconductor manufacturing equipment

    The use of AI methods to monitor and control semiconductor fabrication in a state-of-the-art manufacturing environment called the Rapid Thermal Multiprocessor is described.

  • The Role Of Natural Language In A Multimodal Interface

    This paper presents an interface that blends natural language processing and direct manipulation technologies, using each for their characteristic advantages. Specifically, the paper shows how to use natural language to describe objects and temporal relations, and how to use direct manipulation for overcoming hard natural language problems involving the establishment and use of context and…

  • Artificial Intelligence Techniques for Construction Planning

    This paper highlights the limitations of existing project planning tools, illustrates the power of AI techniques in the construction planning domain through a summary and critique of previous and current research in AI planning, and concludes with a suggested approach to developing AI-based project planning techniques for construction.