Search
Now showing items 581-590 of 646
The calculation of instanton determinants
(University of CambridgeDepartment of Applied Mathematics & Theoretical Physics, 1981-11-10)
Viaduct : an interactive, very-high-level data manipulation language for a microcomputer-based database system.
(1982)
A very-high-level data manipulation language for a database system is one in which the user specifies in non-procedural terms the operations that are to be performed on the data stored in the database; the actual method ...
Measuring the efficiency of software development in a data processing environment
(1982)
The development of software for data processing systems has, during the last 25 years, grown into a large industry. Thus the efficiency of the software development process is of major importance. It is indicative of the ...
The semantic database model as a basis for an automated database design tool
(1983)
The automatic database design system is a design aid for network database creation. It obtains a requirements specification from a user and generates a prototype database. This database is compatible with the Data Definition ...
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 ...
The implementation of a front end processor for a subset of ADA
(1983)
ADA is a high level programing language sponsored by the United States Department of Defence primarily for use in real-time systems. It has all the structures present in modern algorithmic languages with additional features ...
Using CAMAC hardware for access to a particle accelerator
(1988)
The design and implementation of a method to software interface high level applications programs used for the control and monitoring of a Particle Accelerator is described. Effective methods of interfacing the instrumentation ...
Integrating vision modules with coupled MRFs
(MIT Artificial Intelligence Laboratory, 1985-12)
I outline a project for integrating several early visual modalities based on coupled Markov Random Fields models of the physical processes underlying image formation, such as depth, albedo and orientation of surfaces. The ...
Test Programming by Program Composition and Symbolic Simulation
(MIT Artificial Intelligence Laboratory, 1985-11)
Classical test generation techniques rely on search through gate-level circuit descriptions, which results in long runtimes. In some instances, classical techniques cannot be used because they would take longer than the ...
Construction and Refinement of Justified Causal Models Through Variable-Level Explanation and Perception, and Experimenting
(MIT Artificial Intelligence Laboratory, 1985-12)
The competence being investigated is causal modelling, whereby the behavior of a physical system is understood through the creation of an explanation or description of the underlying causal relations.
After developing a ...