Publications
-
Incorporating linguistic features in a hybrid HMM/MLP speech recognizer
We propose two schemes for incorporating distinctive speech features (sonorant, fricative, nasal, vocalic, and voiced) into the MLP component of our system. We show a small improvement in recognition performance…
-
On the direct determination of epipoles: a case study in algebraic methods for geometric problems
Studies experimentally the problem of computing the position of the epipoles in a pair of uncalibrated images; three families of methods are successively considered.
-
Tuning rules by cases
A new method is proposed for tuning rules by cases, especially in domains in which precise and exceptionless rules are known to be unavailable.
-
Review of Language in Action: Categories, Lambdas, and Dynamic Logic, by J. van Benthem
For about two thousand years, logic and logicians were stuck on the problem of multiple quantification. Aristotle and his successors had systematized large parts of monadic quantification theory (as we…
-
Executions, Motivations, and Accomplishments
Brutus wanted to kill Caesar. He believed that Caesar was an ordinary mortal, and that, given this, stabbing him was a way of killing him.
-
Building and Using Scene Repesentations In Image Understanding
The analysis side is the processing of sensory data for such tasks as recognition and navigation, and a number of techniques are discussed here for dealing with these two-, three-,…
-
FASTUS: A Finite-State Processor for Information Extraction from Real-World Text
The GeoVRML working group of the Web3D Consortium recently announced an extension to the ISO standard Virtual Reality Modeling Language (VRML) to enable just these capabilities.
-
SRI: Description of the JV-FASTUS System Used for MUC-5
SRI International developed an information extraction system called FASTUS1 , a permuted acronym standing for "Finite State Automata-based Text Understanding System.
-
A Common Knowledge Representation for Plan Generation and Reactive Execution
This paper describes the ACT formalism, which is designed to encode the knowledge required to support both the generation of complex plans and reactive execution of those plans in dynamic…
-
Supporting Pascal Programming With An On-Line Template Library And Case Studies
In this project, we devised an on-line network of Pascal programming templates called a template library, and tested it with subjects (classified as novice, intermediate, and expert Pascal programmers) both…
-
A Multivalued Logic Approach To Integrating Planning Control
This paper describes a prototype system for quickly developing joint military courses of action. The system, SOCAP (System for Operations Crisis Action Planning and Execution), with a color map display…
-
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
Reasoning systems that are goal-directed and avoid repeatedly solving the same goals can be constructed by formulating the top-down methods metatheoretically for execution by a bottom-up reasoning system (hence, we…