Search results

(1 - 20 of 158)

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

: Sets with no empty convex 7-gons
Author(s):: Horton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1982
Type:: Technical Report
: Erdos has defined g(n) as the smallest integer such that any set of g(n) points in the plane, no three collinear, contains...

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

: Computer Processing of Musical Scores
Author(s):: Gujar, Crawford
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1985
Type:: Technical Report
: This paper proposes an encoding scheme for printed music. A computerized system is designed and implemented to read music as...

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

: Adaptation of a Monte Carlo radiation transport code to supercomputers
Author(s):: Tassou
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1986
Type:: Technical Report

: Resolvable path designs
Author(s):: Horton
Discipline:: Computer Science
Discipline:: Computer Science
Date:: 1983
Type:: Technical Report
: A resolvable (balanced) path design, RBPD (v,k,) is the decomposition of λ copies of the complete graph on v vertices into...

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

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

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

Pages

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