Search results

(1 - 20 of 107)

Pages

: An Overview of Embedded Systems and Prosthesis Technology
Author(s):: Bochem, Deschenes, Williams, Kent
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2010
Type:: Technical Report

: Use of XML for Web-Based Query Processing of Geospatial Data
Author(s):: Teng
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2000
Type:: Technical Report
: New standards for geospatial data representation are emerging. For example, the ISO (the International Organization for...

: A Survey of Techniques for the Co-Verification of Hardware/Software Co-Designed Systems
Author(s):: Hall, Kent
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2007
Type:: Technical Report
: This paper describes the process of designing and verifying a hardware/software co-designed system. This is done by going...

: Semi-automated knowledge acquisition from existing textual databases
Author(s):: Vasi
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1992
Type:: Technical Report
: The introduction of this thesis looks at languages to represent plant operating procedures. Techniques that can be used to...

: An investigation of multi-level k-ranges
Author(s):: Falconer, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2004
Type:: Technical Report
: Multi-level k-ranges are an efficient theoretical data structure for range searching introduced by J. L. Bentley and H. A....

: Design, Verification and Implementation of a Polygon Clipping Application Using Co-Design Techniques
Author(s):: Hall, Kent
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2007
Type:: Technical Report
: This paper describes the process of designing and verifying a hardware/software co-designed system. This is done by going...

: Wireless Sensor Network Communication Protocols
Author(s):: Zhang, Nickerson
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 2011
Type:: Technical Report
: CS6999 Wireless Sensor Network (WSN) Communication Protocols aims at understanding how WSN communication protocols work. We...

: Multimedia authoring system
Author(s):: White
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1994
Type:: Technical Report
: Over the last several years the stakes of state-of-the-art human computer interfaces have risen. New advances in audio and...

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

: 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

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

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

Pages

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