Author: SRI International
-
Automated Theorem-Proving Research In The Fifth Generation Computer Systems Project: Model Generation Theorem Provers
MGTPs have solved previously open problems in finite algebra, produced rapid proofs of condensed detachment problems, and are providing an inferential infrastructure for knowledge-processing research at ICOT. This paper describes some of the key properties of MGTPs, reasons for their successes, and possible areas for future improvement.
-
Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal
To capture the intellectual highlights of the AIJ publication history, we decided to look at what has happened to ideas published in some of the most influential papers from the journal.
-
A view on qualitative physics
I will focus on some of the events and experiences which motivated me to become interested in qualitative physics and where it should be going.
-
A New Striatal Model and its Relationship to Basal Ganglia Diseases
A new model of the striatum has recently been proposed. This model suggests that the somatotopic regions of the striatum correspond to state spaces governing various aspects of organism behavior
-
A System For Labeling Self-Repairs In Speech
The system marks the location and extent of a repair, as well as relevant words in the region of the repair. Together these labels determine the relationship between the “error” and the hypothesized “correction.”
-
Determining the fundamental matrix with planes: unstability and new algorithms
The fundamental matrix is a key concept when working with uncalibrated images and multiple viewpoints. It contains all the available geometric information and enables recovery of the epipolar geometry from uncalibrated perspective views. The problem of its determination from points which lie in several planes is discussed.
-
Modeling Consistency in a Speaker Independent Continuous Speech Recognition System
In this paper we discuss a Gender Dependent Neural Network (GDNN) which can be tuned for each gender, while sharing most of the speaker independent parameters. We use a classification network to help generate gender-dependent phonetic probabilities for a statistical (HMM) recognition system.
-
On determining the Fundamental matrix: analysis of different methods and experimental results
This paper addresses the important problem of its robust determination given a number of image point correspondences. We first define precisely this matrix and show clearly how it is related to the epipolar geometry and to the essential matrix introduced earlier by Longuet-Higgins.
-
Color in computer vision
The use of color in computer vision has received growing attention. This chapter gives the state-of-the-art in this subfield, and tries to answer the questions: What is color? Which are the adequate representations? How is it computed? What can be done using it?
-
A Model for the Functioning of the Striatum
A model is presented for the operation of the striatum. The model posits that the basal ganglia are responsible for driving smooth transitions of state for an organism.
-
Constructing A Joint Problem Space: The Computer As A Tool For Sharing Knowledge
This chapter presents a case study intended to exemplify the use of a computer as a cognitive tool for learning that occurs socially. We investigate a particularly important kind of social activity, the collaborative construction of new problem solving knowledge.
-
Misconceptions Reconceived: A Constructivist Analysis Of Knowledge In Transition
This article uses a critical evaluation of research on student misconceptions in science and mathematics to articulate a constructivist view of learning in which student conceptions play productive roles in the acquisition of expertise.