Search results

(21 - 40 of 188)

Pages

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

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

: 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

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

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

Pages

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