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…
-
A Qualitative Biochemistry and its Application to the Regulation of the Tryptophan Operon
This article is concerned with the general question of how to represent biological knowledge in computers such that it may be used in multiple problem solving tasks.
-
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…
-
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…
-
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…