Publications
-
Frame Representation and Relational Data Bases: Alternative Information-Management Technologies for Systematics
-
Deductive Foundations of Computer Programming
Book available online
-
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…
-
Fastus: A System For Extracting Information From Natural-Language Text
FASTUS is a system for extracting information from free text in English, and potentially other languages as well, for entry into a database, and potentially for other applications. It works…
-
Hybrid Neural Network/Hidden Markov Model Continuous Speech Recognition
In this paper we present a hybrid multilayer perceptron (MLP)/hidden Markov model (HMM) speaker-independent continuous-speech recognition system, in which the advantages of both approaches are combined by using MLPs to…
-
Connectionist Gender Adaptation in a Hybrid Neural Network / Hidden Markov Model Speech Recognition System
An approach to modeling long-term consistencies in peech signal within the framework of a hybrid Hidden Markov Model (HMM) / Multilayer Perceptron (MLP peaker-independent continuous-speech recognition system is presented.
-
The Design Space of Frame Knowledge Representation Systems
This paper surveys the FRS design space in search of design principles for FRSs.
-
Characterizing diagnoses and systems
In this paper we analyze the concept of diagnosis in depth exploiting the notions of implicate/implicant and prime implicate/implicant.
-
Fundamentals Of Deductive Program Synthesis
An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence…
-
Integrating Multiple Knowledge Sources for Detection and Correction of Repairs in Human-computer Dialog
We present here criteria and techniques for automatically detecting the presence of a repair, its location, and making the appropriate correction. The criteria involve integration of knowledge from several sources:…
-
Narrow views, old talks, new beginnings
A response to "Prolegomena to Any Future Qualitative Physics," which attempts to clarify the goals of the field and describe some of the major research efforts.
-
Detection and Correction Of Repairs In Human-Computer Dialog
We present here criteria and techniques for automatically detecting the presence of a repair, its location, and making the appropriate correction. The criteria involve integration of knowledge from several sources:…