Search results

(41 - 52 of 52)

Pages

: Reducing search with minimal clause trees
Author(s):: Horton, Spencer
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Technical Report
: The smallest and most efficient resolution based proof of a theorem is represented by a minimal clause tree, proposed by...

: Simulation of communication protocols
Author(s):: AI-Zoman
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: This report is divided into two parts. The first part is devoted to highlight some topics related to the lowest two layers of...

: Experiments with the ALPOC theorem prover
Author(s):: Spencer, Horton, Francis
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Article
: A system for selecting and preparing a batch of data files, and running a selected computer program with each data file is...

: Inductive theory of vision
Author(s):: Goldfarb, Deshpande, Bhavsar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: In spite of the fact that some of the outstanding physiologists and neurophysiologists (e.g. Hermann von Helmholtz and Horace...

: Specific gravity and longitudinal shrinkage variations in a stem of plantation grown black spruce
Author(s):: Atyeo
Date:: 1995, 1995
Type:: Senior Report

: Disjunctive deductive databases
Author(s):: Obimbo, Spencer
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report

: UNBOS instructional operating system source code
Author(s):: Bruce
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1992
Type:: Technical Report

: Perceving data displayed through oscillatory motion
Author(s):: Ware, Limoges
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: The idea of using simple sinusoidal motion of data points in a multidimensional scatter plot is explored both through a...

: Incremental communication for multilayer neural networks: error analysis
Author(s):: Ghorbani, Bhavsar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: Artificial neural networks (ANNs) involve large amount of inter-node communications. To reduce the communication cost as well...

: Non-numeric measurement devices
Author(s):: Goldfarb, Deshpande
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: In this report we define a fundamentally new type of measurement device- structured measurement device. The readings of all...

: COMMAN: a communication analyzer for OCCAM 2
Author(s):: d'Auriol, Bhavsar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: We present a parser for analyzing communication overheads in OCCAM 2 programs for transputers. The input to COMMAN is a...

: MOSAA developer's guide
Author(s):: Wang, Nickerson, Lees
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: MOSAA (Molecular Spectroscopic Assignment Assistant) is a knowledge-based system that can assist physicists in spectroscopic...

Pages

Zircon - This is a contributing Drupal Theme
Design by WeebPal.