Search results

(41 - 60 of 108)

Pages

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

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

: Spatial indexing of large volume bathymetric data sets
Author(s):: Gao
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: Three spatial index structures based on Morton code sequence and R-tree indices were designed and implemented Indices for the...

: Decreasing Radius K-Nearest Neighbor Search using Mapping-based Indexing Schemes
Author(s):: Shi, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2006
Type:: Technical Report
: A decreasing radius k-nearest neighbor search algorithm for the mapping-based indexing schemes is presented. We implement the...

: Computer reasoning about nuclear physics processes
Author(s):: Hartati
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: Nuclear Process Theory (NPT) is a new process theory which models nuclear physics processes using a formal grammar. This, in...

: A New Approach for Specification and Verification Of Distributed Agents
Author(s):: Mironov, Bhavsar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2000
Type:: Technical Report

: Optimal Space Data Structures for I/O Efficient Search of Objects Moving on a Graph
Author(s):: Le, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2009
Type:: Technical Report
: We present a space optimal spatio-temporal data structure called minimum I/O Graph Strip Tree (minGStree) to index objects...

: Efficient Search of Path-Constrained Moving Objects
Author(s):: Nickerson, Thi Thu Le
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2008
Type:: Technical Report
: We present a spatio-temporal data structure called the Graph Strip Tree (GStree) for indexing objects constrained to move on...

: Parallel implementations of selected image processing techniques
Author(s):: Turner
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: In this thesis we present parallel implementations of one local (convolution) and one global (regular moment extraction)...

: A knowledge-based spectroscopic assignment system
Author(s):: Wang
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: Studying the energy level structure of different molecules by means of spectroscopy is one of the fields in physics and...

: Multi-transputer implementations of selected image processing techniques
Author(s):: Turner, Bhavsar, Pochec
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1993
Type:: Technical Report
: We present parallel implementations of a local (convolution) and a global (regular moment extraction) image processing...

: Spatial data structure indexing for video databases
Author(s):: Xie
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2000
Type:: Technical Report
: This thesis explores the application of k-d range search data structures to digital video data. Content-based queries based...

: A Formal Grammar for Geographic Information Metadata
Author(s):: Nickerson, Teng
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2000
Type:: Technical Report

: Accelerating the MMD Algorithm using the Cell Broadband Engine
Author(s):: Schlösser, Herpers, Kent
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2010
Type:: Technical Report

: The covert channel problem
Author(s):: Fadlalla, Cooper
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1996
Type:: Technical Report
: The Canadian Trusted Computer Product Evaluation Criteria (CTCPEC), the U.S. Trusted Computer System Evaluation Criteria ...

: Vectorized Monte Carlo solutions of linear equations
Author(s):: Sarno, Bhavsar, Hussein
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1992
Type:: Technical Report
: Monte Carlo (MC) methods for solving a system of linear equations exhibit high parallelism. The vectorization and...

: Approximate Orthogonal Range Search using Patricia Tries
Author(s):: Shi, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2005
Type:: Technical Report
: We use Patricia tries to answer E-approximate orthogonal range search on a set of n random points and rectangles in k...

: Temporal reasoning in real-time expert systems
Author(s):: Stephens
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1991
Type:: Technical Report
: This thesis presents research and development of a temporal logic for use within realtime expert systems. The temporal logic...

: The exact cost of exploring streets with a CAB
Author(s):: Lopez-Ortiz, Schuierer
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1998
Type:: Technical Report
: A fundamental problem in robotics is to compute a path for a robot from its current location to a given target. In this paper...

Pages

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