Publications
-
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:…
-
Lucid and Intensional Logic
-
The Representation Space Paradigm Of Concurrent Evolving Object Descriptions
This paradigm is designed to be used by the perception system of an autonomous robot that needs to describe many types of objects, initially detects objects at a distance and…
-
Automatic 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.
-
Active Stereo with head movement
-
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 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.
-
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.
-
Application of Artificial Intelligence to the DOD Directory
The functional and operational requirements that define the DoD Directory will yield a system with a significant level of complexity. We describe the artificial intelligence-based approach developed to solve and…