Publications
-
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.
-
Context-Dependent Connectionist Probability Estimation in a Hybrid HMM-Neural Net Speech Recognition System
In this paper we present a training method and a network architecture for the estimation of context-dependent observation probabilities in the framework of a hybrid Hidden Markov Model (HMM) /…
-
Integrating Neural Networks into Computer Speech Recognition Systems
The work described here involved integrating neural networks into a hidden Markov model-based state-of-the-art continuous-speech recognition system, resulting in improvements in recognition accuracy and reductions in model complexity.
-
Semi-autonomous Mapmaking and Navigation
We describe an architecture of mobile robots based on the the concept of semi-autonomy that employs communication with a human advisor in order to simplify the tasks of map construction…
-
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…
-
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…
-
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…
-
The Tacitus System: The Muc-3 Experience
We describe and evaluate a method for dealing with unknown words and a method for filtering out sentences irrelevant to the task. Each of these techniques has been evaluated, 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…
-
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…
-
CLOS: integrating object-oriented and functional programming
This article explores the landscape in which the major object-oriented facilities exist, showing how the CLOS solution is effective within the two contexts.