Search results

(1 - 20 of 188)

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

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

: 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

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

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

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

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

Pages

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