Author: SRI International
-
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.
-
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.
-
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.
-
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.
-
Active head movements help solve stereo correspondance
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
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.
-
Active Stereo with head movement
-
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.
-
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…
-
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…
-
Katz and Postal on Realism in Linguistics
The ruling idea behind Katz and Postal, is that with respect to linguistics and linguistic objects, as with Mathematics and mathematical objects, there are three basic philosophies: nominalism, conceptualism, and realism.