Search
Now showing items 71-80 of 86
Natural Language Syntax and First Order Preference
(1989-10-01)
We have argued elsewhere that first order inference can be made more efficient by using non-standard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides ...
Grouping For Recognition
(1989-11-01)
This paper presents a new method of grouping edges in order to recognize objects. This grouping method succeeds on images of both two- and three- dimensional objects. So that the recognition system can consider first ...
Quantitative Inference in a Mechanical Design Compiler
(1989-01-01)
This paper presents the ideas underlying a program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from ...
Computational Structure of GPSG Models: Revised Generalized Phrase Structure Grammar
(1989-09-01)
The primary goal of this report is to demonstrate how considerations from computational complexity theory can inform grammatical theorizing. To this end, generalized phrase structure grammar (GPSG) linguistic theory ...
Dynamically Stable Legged Locomotion (September 1985-Septembers1989)
(1989-09-01)
This report documents our work in exploring active balance for dynamic legged systems for the period from September 1985 through September 1989. The purpose of this research is to build a foundation of knowledge that ...
Friction and lubrication in metal rolling
(University of CambridgeJesus CollegeDepartment of Engineering, 1989-11-14)
This dissertation is concerned with the physical processes which determine friction and
lubrication in metal rolling in the mixed lubrication regime, with particular attention paid to the conditions encountered when rolling ...
A file server for the DistriX prototype : a multitransputer UNIX system
(1989)
The DISTRIX operating system is a multiprocessor distributed operating system based on UNIX. It consists of a number of satellite processors connected to central servers. The system is derived from the MINIX operating ...
Further Evidence Against the Recovery Theory of Vision
(MIT Artificial Intelligence Laboratory, 1989-02)
The problem of three-dimensional vision is generally formulated as the problem of recovering the three-dimensional scene that caused the image.
We have previously presented a certain line-drawing and shown that it has the ...
DistriX : an implementation of UNIX on transputers
(1989)
Two technologies, distributed operating systems and UNIX are very relevant in computing today. Many distributed systems have been produced and many are under development. To a large extent, distributed systems are considered ...
Office automation
(1989)
Office automation systems have become an essential tool for the operation of the modern office. With the emphasis of a modern office being placed on efficiency and ease of communication, office automation systems have ...