Search results

(41 - 60 of 224)

Pages

: Determining Cliques of a Graph
Author(s):: Johnson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1975
Type:: Technical Report
: A generalization of the neighborhood of a vertex [7] is used to prove several results on the relation of a set of vertices of...

: 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

: Constructing case bases from medical databases
Author(s):: Wang
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1997
Type:: Technical Report
: A case-based reasoner that makes use of a medical domain knowledge base can be used to assist physicians in decision making....

: An evaluation of case-based reasoning for fault diagnosis
Author(s):: Cookson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1997
Type:: Technical Report
: Recalling past cases and their associated diagnoses to apply to a current fault situation is often an important step in the...

: On the generating process and the class typicality measure
Author(s):: Golubitsky
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2002
Type:: Technical Report
: In this paper, we consider the stochastic generating process—one of the key concepts of the Evolving Transformation System...

: User-side modelling and comparative analysis of airborne LiDAR errors
Author(s):: Adda
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2013
Type:: Technical Report
: Project specifications are designed and enforced to determine whether or not delivered data met required standards. However,...

: Dynamic data structures for real-time display of digital terrain models
Author(s):: Chunkui
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1992
Type:: Technical Report
: Data structures to support the rapid display of both regularly spaced and irregularly spaced digital terrain have been...

: A driver for raster-like plotting devices
Author(s):: Gujar, Fitzgerald
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1976
Type:: Technical Report
: Electrostatic plotter type devices, CRT or hardcopy, are basically printers which allow the "paper" movement only in one...

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

: Counting the number of equivalent binary resolution proofs
Author(s):: Horton
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A binary resolution proof is represented by a binary resolution tree (brt) with clauses at the nodes and resolutions being...

: Spatial analysis of land cover changes in the Grand Lake Meadows, New Brunswick
Author(s):: Shodimu
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2016
Type:: Technical Report
: The ever growing human activities and economic development will eventually change the relationships between human and the...

: Pseudo-random number sequences for parallel computers
Author(s):: Lambrou
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1986
Type:: Technical Report
: Pseudo-Random number sequences are used in a variety of computer applications, such as Monte Carlo algorithms, Numerical...

: Typed three automata
Author(s):: Bhavsar, Goldfarb, Mironov
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1999
Type:: Technical Report

: Acceleration of Blob Detection in a Video Stream using Hardware
Author(s):: Bochem, Herpers, Kent
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2010
Type:: Technical Report
: This report presents the implementation and evaluation of a computer vision problem on a Field Programmable Gate Array (FPGA)...

: Carrier-Phase multipath mitigation in RTK-based GNSS dual-antenna systems
Author(s):: Serrano
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2013
Type:: Technical Report
: Carrier-phase multipath mitigation in GPS/GNSS real-time kinematic (RTK) mode has been studied for several years, at least...

: A partition monitor for fast-batch-processing with limited execution (FABLE)
Author(s):: Emin
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1976
Type:: Technical Report
: FABLE is a sub-tasking monitor which was designed originally to execute as a problem program under IBM's OS/MFT-II (with sub...

: A device independent computer plotting system
Author(s):: Gujar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1976
Type:: Technical Report
: Almost every computing centre has a variety of plotting devices. Software available for these plotting devices is often...

: Discrete sampling methods for vector Monte Carlo codes
Author(s):: Sarno
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1992
Type:: Technical Report
: Sampling from an arbitrary discrete distribution in Monte Carlo calculations often requires a considerable amount of...

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

Pages

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