Search results

(1 - 20 of 168)

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

: Vision of Information Science Inspired by a New Representational Formalism
Author(s):: Goldfarb
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: A recently developed formalism for structural representation—called Evolving Transformations System (ETS)—is discussed as...

: A transformation approach to implementing aggregate operations
Author(s):: Middleton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1979
Type:: Technical Report
: Some of the expressive power of certain programming languages depends on the provision of convenient means of operating on...

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

: Reputation formalization for an information sharing multiagent system
Author(s):: Carter, Bitting, Ghorbani
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: We propose that through the formalization of concepts related to trust, a more accurate model of trust can be implemented....

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

: On a novel evolutionary based model for genome rearrangement
Author(s):: Korkin
Discipline:: Computer Science
Discipline:: Computer Science
Type:: Technical Report
: The role of understanding the genome rearrangement is becoming more and more crucial in the modern life sciences. The new,...

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

: Analysis of the Complex z-Plane Fractal Images from z - z-a + c for a > 0
Author(s):: Dhurandhar, Bhavsar, Gujar
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1990
Type:: Technical Report
: The z-plane fractal images generated from the generalized transformation function z - z[superscript -a] + c, a > 0, are...

: Factoring the product of a cubic graph and a triangle
Author(s):: Horton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1989
Type:: Technical Report
: Kotzig [J. Graph Theory 3 (1979) pp 23-34] proved that for any cubic graph G and any circuit of length n, C , n>3, the ...

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

Pages

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