Publications
-
A Prolog Technology Theorem Prover: A New Exposition and Implementation In Prolog
This paper describes a new Prolog-based implementation of PTTP. It uses three compile-time transformations to translate formulas into Prolog clauses that directly execute, with the support of a few run-time…
-
Fast Parallel Surface Interpolation With Applications To Digital Cartography
In this paper, we present a surface interpolation algorithm based on variational splines which is well suited to massively parallel computers.
-
A Semantic-Head-Driven Generation Algorithm For Unification-Based Formalisms
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithm in that it places fewer restrictions on the class of grammars to which it…
-
Objective Functions For Feature Discrimination
We propose and evaluate a class of objective functions that rank hypotheses for feature labels. Our approach takes into account the representation cost and quality of the shapes themselves, and…
-
A Calculus For Semantic Composition and Scoping
We will show that those scoping restrictions follow from simple and fundamental facts about functional application and abstraction, and can be expressed as constraints on the derivation of possible meanings…
-
Generation and Recognition Of Inflectional Morphology
Koskenniemi’s two-level morphological analysis system can be improved upon by using a PATR-like unification grammar for handling the morphosyntax instead of continuation classes, and by incorporating the notion of negative…
-
Recognizing Objects In A Natural Environment: A Contextual Vision (CVS)
We identify a number of weaknesses in current recognition systems and propose specific mechanisms for dealing with some of these problems.
-
Parsing and Type Inference For Natural and Computer Languages
We provide a method for abstractly and uniformly characterizing a class of formalisms based on logical constraints, and use the uniformity to define and prove correct a parsing algorithm that…
-
Morphology With Two-Level Rules and Negative Rule Features
This paper describes how to use phonological rules instead of transition tables, and describes a more elegant way of expressing phonological irregularity than with arbitrary diacritics, making use of the…
-
The Vision Problem: Exploiting Parallel Computation
This technical report consists of papers presented at the session wherein the major problems in computer vision are outlined, and the “signals to symbols”and the “monolithic computing” (MC) approaches to…
-
Cl-Patr Reference Manual
The PATR-II grammar formalism has been developed over the last few years at SRI International as a grammar formalism for codifying fragments of natural language.
-
Reimplementation of the Stanford Stereo System- Integration Experiments with the SRI Baseline Stereo System
We describe experiments in stereo matching using a Lisp Machine implementation of the Baker stereo system developed at Stanford University.