Search results

(21 - 40 of 47)

Pages

: Spatial indexing of large volume bathymetric data sets
Author(s):: Gao
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: Three spatial index structures based on Morton code sequence and R-tree indices were designed and implemented Indices for the...

: Computer reasoning about nuclear physics processes
Author(s):: Hartati
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: Nuclear Process Theory (NPT) is a new process theory which models nuclear physics processes using a formal grammar. This, in...

: Parallel implementations of selected image processing techniques
Author(s):: Turner
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: In this thesis we present parallel implementations of one local (convolution) and one global (regular moment extraction)...

: A knowledge-based spectroscopic assignment system
Author(s):: Wang
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: Studying the energy level structure of different molecules by means of spectroscopy is one of the fields in physics and...

: Multi-transputer implementations of selected image processing techniques
Author(s):: Turner, Bhavsar, Pochec
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: We present parallel implementations of a local (convolution) and a global (regular moment extraction) image processing...

: The covert channel problem
Author(s):: Fadlalla, Cooper
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: The Canadian Trusted Computer Product Evaluation Criteria (CTCPEC), the U.S. Trusted Computer System Evaluation Criteria ...

: Vectorized Monte Carlo solutions of linear equations
Author(s):: Sarno, Bhavsar, Hussein
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1992
Type:: Technical Report
: Monte Carlo (MC) methods for solving a system of linear equations exhibit high parallelism. The vectorization and...

: Temporal reasoning in real-time expert systems
Author(s):: Stephens
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1991
Type:: Technical Report
: This thesis presents research and development of a temporal logic for use within realtime expert systems. The temporal logic...

: Reaching for Objects in VR Displays: Lag and Frame Rate
Author(s):: Ware, Balkrishnan
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: This paper reports the results from three experimental studies of reaching behavior in a head-coupled stereo display system...

: Visualizing information nets in three dimensions
Author(s):: Ware, Frank
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: At present it is not clear if it is worth presenting abstract data in 3D, although there is a small body of evidence to...

: 3-D visualization of message passing in distributed programs
Author(s):: Gobrecht, Ware, Bhavsar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: This paper describes PVMtrace, a software system for understanding and debugging message passing in distributed programs. In...

: Hierarchical data structures for geographical objects
Author(s):: Prijadi Saido
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1992
Type:: Technical Report
: Most of the current geographical information systems (GIS) are built for a single scale representation. They are developed on...

: Data structures and knowledge representation for automated name placement
Author(s):: Mullin
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: This thesis contains the result of an investigation into the design and implementation of a computer-assisted system to deal...

: Deterministic skip lists for k-dimensional range search
Author(s):: Lamoureux, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Technical Report
: This report presents a new data structure for multidimensional data which is based on an extension of the deterministic skip...

: Communicating Education Concepts Through Multimedia
Author(s):: Elliott, Newman
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: There have been many studies documenting the pros and cons of computers, in particular multimedia machines, in the classroom....

: Bottom-up procedures for minimal clause trees
Author(s):: Horton, Spencer
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: Clause trees provide a basis for reasoning procedures .that use binary resolution. In this paper binary resolution trees are...

: 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...

Pages

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