An Algorithm for Logically Deducing Horn Clauses and Processing Logic Queries.
3-d Object Inspection from Multiple 2-d Camera Views.
An Approximate Linear Time Propagate and Divide Theorem Prover for Propositional Logic.
Statistical Pattern Recognition - Early Development and Recent Progress.
Artificial Intelligence Techniques for the Distribution of Critical Information.
Computer Recognition of Totally unconstrained Handwritten ZIP Codes.
Recognizing Unexpected Objects: a Proposed Approach.
A Parallel nonlinear Mapping Algorithm.
On the Problem of Placing Names in a Geographic Map.
An Application of a Graph Distance Measure to the Classification of muscle Tissue Patterns.
Icon Semantics - a Formal Approach to Icon System Design.