Open Access. Powered by Scholars. Published by Universities.®

Computer Sciences Commons

Open Access. Powered by Scholars. Published by Universities.®

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 62521 - 62550 of 63017

Full-Text Articles in Computer Sciences

An Abstract Model Of Unstratified Database System, Takayuki D. Kimura, Jerome R. Cox Jr., Will D. Gillett Nov 1980

An Abstract Model Of Unstratified Database System, Takayuki D. Kimura, Jerome R. Cox Jr., Will D. Gillett

All Computer Science and Engineering Research

A semantic data model is introduced with the following capabilities: (1) Abstraction mechanisms for aggregation, generalization and classification, (2) Unstratified control of the database content, (3) Refined control of intentional and extensional information, and (4) Extensive semantic consistency checking. The basic features of the model are illustrated through a scenario of interactions between the user and the database system (using the proposed model) for constructing a simple database on technical publications.


Introduction To The Configurable, Highly Parallel (Chip) Computer), Lawrence Snyder Nov 1980

Introduction To The Configurable, Highly Parallel (Chip) Computer), Lawrence Snyder

Department of Computer Science Technical Reports

No abstract provided.


Design Studies Suggested By An Abstract Model For Medical Information System, Jerome R. Cox Jr., Takayuki D. Kimura, P. Moore, Will D. Gillett, Mishell J. Stucki Sep 1980

Design Studies Suggested By An Abstract Model For Medical Information System, Jerome R. Cox Jr., Takayuki D. Kimura, P. Moore, Will D. Gillett, Mishell J. Stucki

All Computer Science and Engineering Research

We have developed a formal model of a database system that is unusual in that it has the ability to represent information about its own structure and to insure semantic consistency. The model distinguishes general laws from instances of events and objects, but many of its mechanisms serve both categories of information. The model form a substrate upon which an information structure appropriate to neonatology is being developed. Some example queries are shown and a design study for an associative memory suggested by the model is described briefly.


Hierarchical Analysis Of A Distributed Evaluator, Robert M. Keller, Gary Lindstrom Aug 1980

Hierarchical Analysis Of A Distributed Evaluator, Robert M. Keller, Gary Lindstrom

All HMC Faculty Publications and Research

We outline the analysis of a distributed evaluator for an applicative language FGL (Function Graph Language). Our goal is to show that the least fixed point semantics of FGL are faithfully implemented by the hardware evaluator envisioned in the Applicative Multi-Processor System AMPS. Included in the analysis are a formalization of demand-driven computation , the introduction of an intermediate graphic language IGL to aid in our proofs, and discussion of pragmatic issues involved in the AMPS machine language design.


Research In Secure Computing (Final Report), Dorothy E. Denning, Peter J. Denning Aug 1980

Research In Secure Computing (Final Report), Dorothy E. Denning, Peter J. Denning

Department of Computer Science Technical Reports

No abstract provided.


A Note On The Semantics Of Looping Programs In Propositional Dynamic Logic, Francine Berman Jul 1980

A Note On The Semantics Of Looping Programs In Propositional Dynamic Logic, Francine Berman

Department of Computer Science Technical Reports

No abstract provided.


Bounds On The Number Of Samples Needed For Neural Learning, Kishan G. Mehrotra, Chilukuri K. Mohan, Sanjay Ranka Jul 1980

Bounds On The Number Of Samples Needed For Neural Learning, Kishan G. Mehrotra, Chilukuri K. Mohan, Sanjay Ranka

Electrical Engineering and Computer Science - Technical Reports

This paper addresses the relationship between the number of hidden layer nodes in a neural network, the complexity of a multi-class discrimination problem, and the number of samples needed for effective learning. Bounds are given for the latter. We show that Ω(min(d,n).M) boundary samples are required for successful classification of M clusters of samples using a 2 hidden layer neural network with d-dimensional inputs and n nodes in the first hidden layer.


Ua66/16/2 Ogden Instructional Computing Newsletter, Vol. 2, No. 1, Wku Mathematics & Computer Science Jun 1980

Ua66/16/2 Ogden Instructional Computing Newsletter, Vol. 2, No. 1, Wku Mathematics & Computer Science

WKU Administration Documents

Newsletter created by the Ogden Computer Laboratory to promote services, courses, hardware, software and student activities.


A Tale Of Two Islands (A Fable), Peter J. Denning Jun 1980

A Tale Of Two Islands (A Fable), Peter J. Denning

Department of Computer Science Technical Reports

No abstract provided.


High Order Methods For Elliptic Partial Differential Equations With Singularities, Elias N. Houstis, John R. Rice Jun 1980

High Order Methods For Elliptic Partial Differential Equations With Singularities, Elias N. Houstis, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


Effects Of Changes In Surface Water Regime And/Or Land Use On The Vertical Distribution Of Water Available For Wetland Vegetation: Dynamic Model Of The Zone Of Aeration (Appendix To Part 1 Of Completion Report For Project A-023-Ark), Robert N. Maccallum, R. A. Sims Jun 1980

Effects Of Changes In Surface Water Regime And/Or Land Use On The Vertical Distribution Of Water Available For Wetland Vegetation: Dynamic Model Of The Zone Of Aeration (Appendix To Part 1 Of Completion Report For Project A-023-Ark), Robert N. Maccallum, R. A. Sims

Arkansas Water Resources Center Technical Reports

Appendix to Part 1 of Completion Report for Project A-023-ARK


Computing Cyclic List Structures, F. Lockwood Morris, Jennifer Schwarz Jun 1980

Computing Cyclic List Structures, F. Lockwood Morris, Jennifer Schwarz

Electrical Engineering and Computer Science - Technical Reports

It is argued that list structures containing cycles are useful and unobjectionable Lisp entities. If this is so, it is desirable to have a means of computing them less foreign to the equational-definition style characteristic of Lisp than are the list-structure-altering primitives rplaca and rplacd. A notion is developed of a reasonable system of mutually recursive equations, guaranteed to have a unique solution in list structures. The notion is given in terms of the computations invoked by the equations, without reference to the forms of expressions appearing in them. A variety of programming examples are presented, including a curious implementation …


Principles, Preferences And Ideals For Computer Arithmetic, Thomas E. Hull, Christian H. Reinsch, John R. Rice Jun 1980

Principles, Preferences And Ideals For Computer Arithmetic, Thomas E. Hull, Christian H. Reinsch, John R. Rice

Department of Computer Science Technical Reports

No abstract provided.


Principles Of Program Design Induced From Experience With Small, Public Programs, Douglas E. Comer Apr 1980

Principles Of Program Design Induced From Experience With Small, Public Programs, Douglas E. Comer

Department of Computer Science Technical Reports

No abstract provided.


Operating Systems Articles, Peter J. Denning, Dorothy E. Denning Apr 1980

Operating Systems Articles, Peter J. Denning, Dorothy E. Denning

Department of Computer Science Technical Reports

No abstract provided.


A Critique Of The Foundations Of Hoare-Style Programming Logics, Michael O'Donnell Apr 1980

A Critique Of The Foundations Of Hoare-Style Programming Logics, Michael O'Donnell

Department of Computer Science Technical Reports

No abstract provided.


A Dimensionality Reduction Algorithm For The Karhunen Loeve Transform, Salomi T. Charalambous Apr 1980

A Dimensionality Reduction Algorithm For The Karhunen Loeve Transform, Salomi T. Charalambous

Computational Modeling & Simulation Engineering Theses & Dissertations

The Karhunen Loeve Transform has conclusively been shown to be the optimum data compression algorithm for signals belonging to the same second order stationary process. Consequently, researchers have been searching for a fast implementation for the transform. Fast imple­mentation methods similar to those developed for other orthogonal transforms are generally not applicable to the Karhunen Loeve Transform (KLT). Also, since the basis vectors composing the transformation matrix of the KLT are the eigenvectors of the covariance matrix of the input process, they must be computed first. The research re­ ported here is an attempt to reduce the dimensionality of the …


Experience With Transporting Pascal To An Interactive Environment, Douglas E. Comer, John Garney Apr 1980

Experience With Transporting Pascal To An Interactive Environment, Douglas E. Comer, John Garney

Department of Computer Science Technical Reports

No abstract provided.


Operational Analysis Based On Minimal Information: A Hypothetical Case Study, Herb Schwetman Mar 1980

Operational Analysis Based On Minimal Information: A Hypothetical Case Study, Herb Schwetman

Department of Computer Science Technical Reports

No abstract provided.


Programming With Recursion, Dirk Siefkes Feb 1980

Programming With Recursion, Dirk Siefkes

Department of Computer Science Technical Reports

No abstract provided.


Low Contention Semaphores And Ready Lists, Peter J. Denning, T. Don Dennis, Jeffrey Brumfield Feb 1980

Low Contention Semaphores And Ready Lists, Peter J. Denning, T. Don Dennis, Jeffrey Brumfield

Department of Computer Science Technical Reports

No abstract provided.


Using The Purdue Procsy Terminal System (Fortran), Bob Brown Jan 1980

Using The Purdue Procsy Terminal System (Fortran), Bob Brown

Department of Computer Science Technical Reports

No abstract provided.


Using The Purdue Procsy Terminal System (Pascal), Bob Brown Jan 1980

Using The Purdue Procsy Terminal System (Pascal), Bob Brown

Department of Computer Science Technical Reports

No abstract provided.


An Information Theoretic Approach To The Construction Of Efficient Decision Trees, Jaime M. De Faria, Carlos R.P. Hartmann, Carl L. Gerberich, Pramod Varshney Jan 1980

An Information Theoretic Approach To The Construction Of Efficient Decision Trees, Jaime M. De Faria, Carlos R.P. Hartmann, Carl L. Gerberich, Pramod Varshney

Electrical Engineering and Computer Science - Technical Reports

This paper treats the problem of construction of efficient decision trees. Construction of optimal decision trees is an NP-complete problem and, therefore, a heuristic approach for the design of efficient decision trees is considered. The approach is based on information theoretic concepts and the proposed algorithm provides us with a simple procedure for the construction of near-optimal decision trees.


Comparative Schematology And Pebbling With Auxiliary Pushdowns, Nicholas J. Pippenger Jan 1980

Comparative Schematology And Pebbling With Auxiliary Pushdowns, Nicholas J. Pippenger

All HMC Faculty Publications and Research

This paper has three claims to interest. First, it combines comparative schematology with complexity theory. This combination is capable of distinguishing among Strong's “languages of maximal power,” a distinction not possible when comparative schematology is based on computability considerations alone, and it is capable of establishing exponential disparities in running times, a capability not currently possessed by complexity theory alone. Secondly, this paper inaugurates the study of pebbling with auxiliary pushdowns, which bears to plain pebbling the same relationship as Cook's study of space-bounded machines with auxiliary pushdowns bears to plain space-bounded machines. This extension of pebbling serves as the …


Design And Use Of A Computerized Test Generating Program, Edward Schaefer, Laurence A. Marschall Jan 1980

Design And Use Of A Computerized Test Generating Program, Edward Schaefer, Laurence A. Marschall

Physics and Astronomy Faculty Publications

An easy-to-use set of programs for the computerized generation of multiple-choice and easy examinations in an introductory astronomy course is described. The programs allow the user to establish files of test questions and to rapidly assemble printed copies of examinations suitable for photocopying. Written in ALGOL for a Burroughs B6700 computer, the programs can, in principle, be implemented on large mainframe computers or on microcomputers of a size increasingly available to physics departments. The advantages and costs of computerized test generation are discussed.


On The Evaluation Of Powers And Monomials, Nicholas Pippenger Jan 1980

On The Evaluation Of Powers And Monomials, Nicholas Pippenger

All HMC Faculty Publications and Research

Let $y_1 , \cdots ,y_p $ be monomials over the indeterminates $x_1 , \cdots ,x_q $. For every $y = (y_1 , \cdots ,y_p )$ there is some minimum number $L(y)$ of multiplications sufficient to compute $y_1 , \cdots ,y_p $ from $x_1 , \cdots ,x_q $ and the identity 1. Let $L(p,q,N)$ denote the maximum of $L(y)$ over all $y$ for which the exponent of any indeterminate in any monomial is at most $N$. We show that if $p = (N + 1^{o(q)} )$ and $q = (N + 1^{o(p)} )$, then $L(p,q,N) = \min \{ p,q\} \log N …


Nova University Graduate Education Module (Gem) Master's And Educational Specialist Degrees Computer Applications [No Date], Nova University Jan 1980

Nova University Graduate Education Module (Gem) Master's And Educational Specialist Degrees Computer Applications [No Date], Nova University

Abraham S. Fischler College of Education and School of Criminal Justice College Archive

No abstract provided.


Economic Comparison Of Alternative Burley Tobacco Harvesting Practices By Computer, Thomas C. Bridges, Larry G. Wells, George A. Duncan, John N. Walker Jan 1980

Economic Comparison Of Alternative Burley Tobacco Harvesting Practices By Computer, Thomas C. Bridges, Larry G. Wells, George A. Duncan, John N. Walker

Biosystems and Agricultural Engineering Faculty Publications

The computer model CATCH (Computer Analysis of Tobacco Cutting and Housing) was developed to provide the individual tobacco producer with management information concerning alternative methods of harvesting burley tobacco. CATCH utilizes specific producer in-puts to analyze 24 alternative burley production systems and presents up to four economic rankings containing costs, equipment and labor for each system. The economic rankings aid the producer in decision making with regard to his own operation.


On Increasing Confidence In Confidence Intervals, Peter J. Denning Jan 1980

On Increasing Confidence In Confidence Intervals, Peter J. Denning

Department of Computer Science Technical Reports

No abstract provided.