Search results

(21 - 40 of 193)

Pages

: Data Structures for Moving Objects on Fixed Networks
Author(s):: Thi Thu Le, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2007
Type:: Technical Report

: On the realizability of cardinality constraints in conceptual data models
Author(s):: McAllister, Horton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1999
Type:: Technical Report
: A new property of conceptual data models is introduced. Realizability extends strong satisfiability as defined by Lenzerini...

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

: User interface to a flexible character generator
Author(s):: Gujar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1986
Type:: Technical Report

: Evaluation of the discrepancy of the linear congruential pseudo-random number sequences
Author(s):: Bhavsar, Lambrou, Horton, Gujar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1987
Type:: Technical Report
: Niederreiter has defined the discrepancy of a pseudo-random number (PRN) sequence as a quantity which measures the deviation...

: The compilation of a map of recent vertical crustal movements in Canada
Author(s):: Carrera, Vanicek, Craymer
Date:: 1991
Type:: Technical Report

: Natural Language Morphology Representation
Author(s):: Roussillon
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2004
Type:: Technical Report
: This thesis defines Lightweight Morphology, an alternative to stemming, which creates inflection and derivations from an...

: Early results towards the Canadian geoid in the three-space scenario
Author(s):: Yang
Discipline:: Geodesy & Geomatics
Discipline:: Geodesy & Geomatics
Date:: 2005
Type:: Technical Report
: The three space Stokes-Helmert scheme of the precise gravimetric geoid determination has been theoretically developed and...

: A Survey of Data Dependence Analysis Techniques for Automated Parallelization
Author(s):: Libby, Kent
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2007
Type:: Technical Report
: Finding parallelism that exists in a software program depends a great deal on determining the dependencies that exist between...

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

: FPGA Design for Monitoring CANbus Traffic in a Prosthetic Limb Sensor Network
Author(s):: Bochem, Deschenes, Williams, Losier, Kent
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2010
Type:: Technical Report
: The prosthesis industry is moving towards an open standards bus, with this comes the need to monitor the information being...

: A Fortran to Modula 2 dictionary
Author(s):: Knight, Fellows
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1992
Type:: Technical Report

: Step by step methods for the numerical solution of Volterra integro-differential equations
Author(s):: Garey
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1976
Type:: Technical Report

: Monte Carlo neutron transport on the Alliant FX/8
Author(s):: Tassou, Bhavsar, Hussein, Gallivan
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1986
Type:: Technical Report
: A Center-of-Mass Monte Carlo program (COM) used in designing neutron densitometers is considered and its implementations are...

: Bottom up procedures to construct each minimal clause tree once
Author(s):: Horton, Spencer
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1997
Type:: Technical Report
: Bottom up procedures are introduced for constructing only minimal clause trees. Two general methods are proposed. The first...

: What is a structural representation?: Second version
Author(s):: Goldfarb, Gay, Golubitsky, Korkin
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2004
Type:: Technical Report
: We outline a formalism for “structural”, or “symbolic”, representation, the necessity of which is acutely felt in all...

: 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

Pages

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