Search results

(1 - 20 of 56)

Pages

: Evaluation of strategies for estimating residual neutral-atmosphere propagation delay in high precision Global Positioning System data analysis
Author(s):: van der Wal
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1995
Type:: Technical Report
: The research described in this thesis compares and evaluates techniques for the estimation of residual neutral-atmosphere...

: Multimedia authoring system
Author(s):: White
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: Over the last several years the stakes of state-of-the-art human computer interfaces have risen. New advances in audio and...

: Reasoning about physical systems in artificial intelligence
Author(s):: Hartati
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: This report, Reasoning About Physical Systems in Artificial-Intelligence, consists of several files: 1. master.doc is a file...

: Multi-dimensional data structures for marine seismic data
Author(s):: Judd
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Technical Report
: This thesis contains the results of an investigation into the design and implementation of spatial data structures for marine...

: Real-time orbit improvement for GPS satellites
Author(s):: dos Santos
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1995
Type:: Technical Report
: Many geodetic GPS applications require orbits of better accuracy than the predicted ones broadcast by the satellites...

: On the equivalence of B-trees and deterministic skip list
Author(s):: Lamoureux, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: In this paper we show the functional and structural equivalence of B-trees and deterministic skip lists by defining two new B...

: Application of robustness analysis to large geodetic networks
Author(s):: Vanĩcek, Ong, Krakiwsky, Craymer
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1996
Type:: Technical Report

: Clause trees: a tool for understanding and implementing resolution in automated reasoning
Author(s):: Horton, Spencer
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Technical Report
: A new methodology/data structure, the clause tree, is developed for automated reasoning based on resolution in first order...

: Applications of the extension principle to the plane
Author(s):: Xu, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Technical Report

: An analysis of a worldwide status for monitoring and analysis of dam deformation
Author(s):: Avella
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1993
Type:: Technical Report
: The primary role of dam deformation surveys is to examine regularly the conditions of the dam and its overall safety. The...

: An implementation of a multidimensional dynamic range tree based on an AVL tree
Author(s):: Lamoureux
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Technical Report
: In this paper we develop a dynamic multidimensional range tree data structure based on the AVL tree. The range tree was...

: A dynamic data structure for multi-dimensional range searching
Author(s):: Lamoureau
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: This thesis addresses the following question: Is it possible to have a k-dimensional data structure which provides for...

: Incremental communication for artificial neural networks
Author(s):: Ghorbani, Bhavsar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: A learning procedure based on the backpropagation algorithm using the incremental communication is presented. In the...

: On a General Concept of the Inductive Learning Process
Author(s):: Deshpande, Goldfarb
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Technical Report
: We propose to modify the original definition of the inductive learning process proposed by one of us to include two modes of...

: Clause Trees and Factor Paths
Author(s):: Horton, Spencer
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: The concept of a clause is generalized to that of a clause tree which shows how the clause can be proved from a set of input...

: Parallel tangent learning algorithm for training artificial neural networks
Author(s):: Ghorbani, Bhavsar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: A modified backpropagation training algorithm using deflecting gradient technique is proposed. Parallel tangent (Partan)...

: Knowledge base specification for design cost estimation
Author(s):: Gesner
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: This thesis presents an effective method of representing cost estimate knowledge in a readily accessible format for...

: Dynamic monitoring with video systems
Author(s):: Lee
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1996
Type:: Technical Report
: While close range photogrammetry has been widely applied for static deformation analysis, video cameras have many...

: Nuclear process theory: a symbolic model for representing nuclear physics processes
Author(s):: Hartati
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: Nuclear Process Theory (NPT) models nuclear physics processes using a formal grammar. This, in turn, allows one to write...

: A comparison of vectorizable discrete sampling methods in Monte Carlo applications
Author(s):: Sarno, Bhavsar, Hussein
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1995
Type:: Technical Report
: The performance of various vectorizable discrete random-sampling methods, along with the commonly used inverse sampling...

Pages

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