Search results

(41 - 60 of 69)

Pages

: Comments on "A General Fortran Emulator for IBM 360/370 Random Number Generator 'Randu' 1"
Author(s):: Fellows
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1975
Type:: Technical Report

: Ancestor Reduction in Binary Resolution Trees
Author(s):: Spencer, Horton
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: It is shown how the operation of ancestor reduction, found in tableaux calculi, can be applied to the resolution calculus. An...

: A review of alternatives for managing arctic hydrographic data
Author(s):: Hamilton, Masry
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1980
Type:: Technical Report

: Estimation of gravity tilt response to atmospheric phenomena at the Fredericton tiltmetric station using a least squares response method
Author(s):: Steeves
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1981
Type:: Technical Report
: Variations in apparent direction of gravity, with respect to the tiliting bedrock, at the Fredericton tilitmetric station...

: The design of efficient pattern recognition systems
Author(s):: Goldfarb
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A new general methodology for design of pattern recognition systems is proposed. 'This methodology is based on the new...

: A search algorithm for finding the simple cycles of a directed graph
Author(s):: Johnson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1974
Type:: Technical Report
: Two efficient algorithms, that admit each simple cycle once in searching the ares of a digraph, are presented and a proof of...

: oSCUBA a buffered core graphic system
Author(s):: Gujar, Nagesh
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1979
Type:: Technical Report
: The graphics community is recently taking a close look at graphics standardization prompted by issues such as portability of...

: A new spanning tree algorithm
Author(s):: Wasson, McIssaac
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1974
Type:: Technical Report
: The algorithm outlined in this paper finds all the spanning trees of a non-directed graph G. The graph is represented by a...

: A priori estimation of variance for surveying observables
Author(s):: Nickerson
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1978
Type:: Technical Report

: High Arity Nodes, Routing and Internet Tomography
Author(s):: Horton, Lopez-Ortiz
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: Internet topology information is only made available in aggregate form by standing routing protocols. Connectivity...

: Labeling Nodes in 3D Diagrams: Using Transparency for Text Legibility and Node Visibility
Author(s):: Irani, Iturriaga
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: In scientific and information visualization 3D diagrams are now more common. Text or name labels in any kind of diagram play...

: Towards a Formalization of Trust
Author(s):: Carter, Ghorbani
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: This work focuses on the design and implementation of a new model of trust. The new model of trust is based on the...

: An evaluation of three techniques for the prediction of gravity anomalies in Canada
Author(s):: Kassim
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1980
Type:: Technical Report
: Recent studies have shown that the Canadian height control network, which was defined on the basis of normal gravity, suffers...

: Support Ordered Resolution
Author(s):: Spencer, Horton
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: In a binary tree representation of a binary resolution proof, rotating some tree edge reorders two adjacent resolution steps....

: Architectural components of information sharing societies
Author(s):: Carter, Ghorbani, Marsh
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: Two similar multiagent systems have been designed to address the issue of information sharing within a multiagent system....

: Geodetic aspects of engineering surveys requiring high accuracy
Author(s):: Teskey
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1979
Type:: Technical Report
: Many of today’s engineering surveys require relative positional accuracies in the order of 1/100 000 or better. This means...

: A program package for packing and generalising digital cartographic data
Author(s):: Vanĩcek, Woolnough
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1972
Type:: Technical Report

: On the use of "fixed" data paths for assignment
Author(s):: Middleton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1979
Type:: Technical Report

: The title and boundaries of New Brunswick highways
Author(s):: Drake
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 1977
Type:: Technical Report
: This report is a study of certain aspects of the policy and law pertaining to highways as it affects the title and boundaries...

: On assignment between data paths
Author(s):: Middleton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1979
Type:: Technical Report
: This paper discusses an approach to the manipulation of "data paths". In particular, assignment between data paths is...

Pages

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